v2.0.0

Added:

• Kissat SAT solver
  • won SAT Competiton 2020
  • has similar/slightly better perfomance in Tiler compared to CaDiCaL and CryptoMiniSat
• SBVA formula preprocessor for SAT solvers
  • won SAT Competition 2023 in combination with CaDiCaL
  • seems to be helpful only for few tiling instances (and only with some AMO encodings)

Changed:

• updated dependencies (most importantly SAT and ILP solvers)
• modified CLI commands and flags for better intuitiveness
• explicitly set random seed in SAT solvers

v1.0.0

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.