mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-14 03:10:47 +00:00
6 lines
219 B
Plaintext
6 lines
219 B
Plaintext
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.
|
|
|
|
WWW: https://github.com/msoos/cryptominisat
|