Release 1.5.0

This is our FMCAD'21 release which adds a constrain interface to assume single clauses which helps to speed-up SAT based model checking with IC3 and is described in our FMCAD'21 paper.

@inproceedings{FroleyksBiere-FMCAD20,
  author    = {Nils Froleyks and Armin Biere},
  editor    = {Ruzica Piskac and Michael W. Whalen},
  title     = {Single Clause Assumption without Activation Literals to Speed-up {IC3}},
  booktitle = {Proceedings 21st International Conference on Formal Methods in Computer-Aided Design (FMCAD'21)},
  pages     = {72--76},
  volume   = {2},
  publisher = {{TU Vienna Academic Press}},
  year      = {2021}
  doi       = {10.34727/2021/isbn.978-3-85448-046-4_15},
  url       = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_15},
}

Release 1.4.1

First post SAT Competition 2021 release.

• Removed the dangling link 'src/makefile' (added by 'configure').
• Fixed rare issue with models (unit propagation during elimination).
• Fixed illegal access to vector in 'vivify'.

SAT Competition 2021 Submission

sc2021

imported sc2021 submission

Release 1.4.0

This is the release used for the CaDiCaL Hack Track in SAT Competition 2021.

Release 1.3.0

First update to SAT Competition 2020 release fixes ports to several platforms and two issues.

SAT Competition 2020 Submission

This is the version submitted to the SAT Competition 2020.

rel-1.2.1

removed debugging dump

rel-1.2.0

Fixed (i)val, recompute glue (to promote clauses) and condition (glob…