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 )
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 )