This repository contains the in-progress Conjure Oxide constraints modelling tool and its dependencies.
This repository hosts the following projects:
- Conjure Oxide
minion_rs
- Rust bindings to Minionchuffed_rs
- Rust bindings to Chuffeduniplate
- An implementation of the Haskell Uniplate in Rust
This 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.