CryptoMiniSat
- CryptoMiniSat is a state-of-the-art SAT solver incorporating many ideas. For a list, please visit http://www.msoos.org/2013/04/cryptominisat-3-0-released/
The source is available on github: https://github.com/msoos/cryptominisat