blob: 917f5f80c381017bc737f3affa0da9e3c0984252 (
plain) (
tree)
|
|
CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT
solver, featuring over 100 configurable parameters to tune to specific
need, collection of statistical data to MySQL database + javascript-based
visualization of it and clean C++ and python interfaces.
WWW: https://github.com/msoos/cryptominisat
|
