Bindings to CryptoMiniSat (a SAT solver)
This package provides Python bindings to CryptoMiniSat on the C++ level, i.e. when importing pycryptosat, the CryptoMiniSat solver becomes part of the Python process itself.
$
pkg install py311-cryptominisatOrigin
math/py-cryptominisat
Size
1.63MiB
License
MIT, LGPL21
Maintainer
arrowd@FreeBSD.org
Dependencies
3 packages
Required by
0 packages