Release 4.0.0
This is the version submitted to the SAT Competition 2024.
It was dominating the competition and won first places, i.e., 3 gold medals, in the categories of the main track (SAT, UNSAT, SAT+UNSAT).
This is the version submitted to the SAT Competition 2024.
It was dominating the competition and won first places, i.e., 3 gold medals, in the categories of the main track (SAT, UNSAT, SAT+UNSAT).