3 ms·
Google does not know "COPMinisat", would you please clarify? PicoSAT is also small and easy to embed, however in CryptoMiniSat we trust, thank you very much!
by mtve 10y ago
Google does not know "COPMinisat", would you please clarify?
PicoSAT is also small and easy to embed, however in CryptoMiniSat we trust, thank you very much!
- mate_soos 10y agoSorry, wanted to say CoMiniSatPS, here: http://cs.nyu.edu/~chanseok/cominisatps/index.html http://cs.nyu.edu/~chanseok/cominisatps/index.html One of its variants won the Main track of the SAT Competition of 2016, see http://baldur.iti.kit.edu/sat-competition-2016/index.php?cat=results http://baldur.iti.kit.edu/sat-competition-2016/index.php?cat... For all the solvers' source codes, see http://baldur.iti.kit.edu/sat-competition-2016/solvers/ http://baldur.iti.kit.edu/sat-competition-2016/solvers/