Skip to content

v1.0.0
Compare
Choose a tag to compare
@davidmisiak davidmisiak released this 22 May 19:12
· 28 commits to master since this release
v1.0.0
9f0faf2

This release accompanies the author's bachelor thesis. It features simple backtracking, Algorithm X, SAT (CaDiCaL, CryptoMiniSat), ILP (Cbc, Gurobi) and CSP (MiniZinc) backends in many configurations. Details can be found in README.md.

The attached executable provides a selection of solvers (backtracking, Algorithm X, CaDiCaL, CryptoMiniSat, Cbc). It is compatible with Ubuntu 20.04.

Note: Previous releases are available on GitLab.

Assets 3
Loading