2 ms·
Some usage examples and performance comparisons against other solvers (e.g. minisat, varisat) would be nice.
by dralley 4y ago
Some usage examples and performance comparisons against other solvers (e.g. minisat, varisat) would be nice.
- xavxav 4y agoCheck out Sarek’s thesis in the evaluation section: https://sarsko.github.io/_pages/SarekSkotåm_thesis.pdf https://sarsko.github.io/_pages/SarekSkotåm_thesis.pdf. In general it’s roughly at the level of microsat so worse than minisat and kissat, but not garbage either.