Chinstrap :penguin:

Chinstrap is a finite-domain constraint satisfaction toolkit for Rust.