Conjure-Oxide

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 Minion
• chuffed_rs - Rust bindings to Chuffed
• uniplate - 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.

Documentation

API documentation can be found here.

Contributing

See the Contributors Guide.