A constraint modelling and rewriting library and compiler framework written in rust
Primary LanguageRustMozilla Public License 2.0MPL-2.0