Skip to content

conjure-cp/conjure-oxide

This branch is up to date with main.

Folders and files

NameName
Last commit message
Last commit date
Feb 4, 2025
Mar 27, 2024
Apr 11, 2024
Feb 13, 2025
Feb 13, 2025
Nov 1, 2024
Feb 5, 2025
Feb 1, 2025
Dec 3, 2024
Feb 5, 2025
Nov 10, 2024
Feb 10, 2025
Nov 20, 2024
Oct 5, 2023
Nov 1, 2024
Nov 20, 2023

Repository files navigation

Conjure Oxide

This repository contains the in-progress Conjure Oxide constraints modelling tool and its dependencies.

This repository hosts the following projects:

This project is being produced by staff and students of University of St Andrews, and is licenced under the MPL 2.0.

Rust Nightly Support

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).

Documentation

API documentation can be found here.

Contributing

See the project wiki