v0.1.0

Propaga v0.1.0

First public release of Propaga — a modern propagator-based constraint solver in Rust.

Highlights

• Eight-crate workspace: core, domains, engine, propagators, search, model, flatzinc, CLI
• Propagation engine with explanation-aware trail and event scheduling
• GAC all-different, GCC, table, element, cumulative, disjunctive propagators
• Search with first-UIP nogood learning, Luby restarts, phase saving, branch-and-bound
• FlatZinc subset parser/compiler (satisfy / minimize / maximize)
• CLI: propaga sudoku, n-queens, solve, schedule

Install

cargo install propaga-cli

Or download a prebuilt binary from the assets below.

Known limitations

• FlatZinc is an explicit subset (see COMPATIBILITY.md)
• Single-objective optimization only

Full changelog: CHANGELOG.md

Full Changelog: https://github.com/hocestnonsatis/propaga/commits/v0.1.0

Full Changelog: https://github.com/hocestnonsatis/propaga/commits/v0.1.0