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