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…

…ally blocked).