GitHub repository: shackle-rs/shackle
Primary language: Rust
Description: A constraint modelling and rewriting library and compiler framework written in rust