4 ms·
If you want to look at good SAT solvers, look ... CryptoMiniSat. Any personal relationship with CryptoMiniSat? ;)
by mafribe 10y ago
If you want to look at good SAT
solvers, look ... CryptoMiniSat.
Any personal relationship with CryptoMiniSat? ;)
- mate_soos 10y agoConsidering that CryptoMiniSat got 3rd place (after 1st and 2nd both being lingeling) in Parallel SAT solving the last competition, I think it was fair to include it. Sure, it's mine, but I also put it at the end :) Other solvers that are good to look at: glucose and riss. Note that a lot of solvers are variations of MiniSat. riss, ligeling, PrecoSat and CryptoMiniSat are the only ones that substantially differ from MiniSat.
- dlo 10y agoThanks for the recommendations. I love SAT solvers and have been looking for a way to get into them.