4 lines
174 B
Plaintext
4 lines
174 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.
|