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!
PicoSAT is also small and easy to embed, however in CryptoMiniSat we trust, thank you very much!
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...
For all the solvers' source codes, see