Installation

cargo add unifier

Or in Cargo.toml:

[dependencies]
unifier = "0.3"

Requirements

Requirement	Value
Rust	1.87 or newer (rust-version in Cargo.toml)
Edition	2024
Runtime dependencies	pathwise 0.2

Build from source

The repository’s Cargo.toml names pathwise with a version and a relative path (version = "0.2.0", path = "../pathwise"), so local development can use a pathwise checkout next to unifier. That checkout has to provide pathwise 0.2. Without one, remove the path part of the dependency and Cargo uses the published pathwise from crates.io, as the CI workflow does:

git clone https://github.com/casoon/unifier
cd unifier
sed -i.bak 's|, path = "../pathwise"||' Cargo.toml
cargo test

Run the examples

The examples/ directory contains the programs shown in the showcase:

cargo run --example nqueens
cargo run --example map_coloring
cargo run --example job_shop
cargo run --example scheduling_demo

Next steps

Continue with the Quickstart to model and solve a first problem.