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.
The following compiler flags are required for Conjure-Oxide to work with Nightly Rust:
export RUSTFLAGS="-Zlinker-features=-lld"
export RUSTDOCFLAGS="-Zlinker-features=-lld"
cargo build <...>
This is because of current incompatibilities with linkme and the new default linker (link).
API documentation can be found here.
See the Contributors Guide.