General-purpose award-winning SAT solver
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.
$
pkg install cryptominisatOrigin
math/cryptominisat
Size
1.80MiB
License
MIT, LGPL21
Maintainer
arrowd@FreeBSD.org
Dependencies
2 packages
Required by
6 packages