This repository contains the in-progress Conjure Oxide constraints modelling tool and its dependencies.
This repository hosts the following projects:
minion_rs
- Rust bindings to Minionchuffed_rs
- Rust bindings to Chuffeduniplate
- An implementation of the Haskell Uniplate in RustThis project is being produced by staff and students of University of St Andrews, and is licenced under the MPL 2.0.
API documentation can be found here.
See the Contributors Guide.