Conjure Oxide

Github

Welcome to the documentation of Conjure Oxide.

§Crates

These crates contain Rust bindings for solvers:

§Developer Documentation

The following are internal crates. Documentation is provided for developer reference:

§Running Tests in Conjure Oxide

  1. Navigate to the root folder of the Conjure Oxide project:

    cd conjure-oxide
  2. Run all tests in the workspace

    cargo test --workspace