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.

Documentation

API documentation can be found here.

Name		Name	Last commit message	Last commit date
Latest commit History 1,774 Commits
.cargo		.cargo
.github		.github
.idea		.idea
.vscode		.vscode
.zed		.zed
conjure_oxide		conjure_oxide
crates		crates
docs		docs
perf_benchmarks		perf_benchmarks
solvers/minion		solvers/minion
tools		tools
.gitignore		.gitignore
.gitmodules		.gitmodules
CONTRIBUTING.md		CONTRIBUTING.md
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
Dockerfile		Dockerfile
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
clippy.toml		clippy.toml
rust-toolchain.toml		rust-toolchain.toml