CryptoMiniSat 5.6.0
Pre-release
Pre-release
This is a significantly improved CryptoMiniSat that should have much better performance, lower memory usage and vastly better tuned parameters for general CNF solving.
This is a significantly improved CryptoMiniSat that should have much better performance, lower memory usage and vastly better tuned parameters for general CNF solving.