bef4dc1626
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: http://www.msoos.org/cryptominisat4/ PR: 199929 Submitted by: 6yearold@gmail.com (based on)
6 lines
318 B
Text
6 lines
318 B
Text
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: http://www.msoos.org/cryptominisat4/
|