Release 4.0.0

This is the version submitted to the SAT Competition 2024.

(Update: This is a Win64 bugfix release, with reduced stack usage. The original version may crash on some instances, see #7 )

3.1.0

This is the version submitted to the SAT Competition 2023.

3.0.0

Removed from sc2022-light two heuristic bugs and went back to monotonically increasing version numbers (see also VERSION).

avoid increasing number of conflicts during vivification
do set used flags (two bits) of learned clauses initially
Thus we follow our plan to continue extending and maintaining this light version of Kissat on sc2022-light.

sc2022-light

Merge branch 'master' of https://github.com/deiruch/kissat

sc2021

update build version id

1.0.3

Compiled with PGO