A minimalist version of Choco-solver, reduced to `IntVar` and few constraints. - View it on GitHub