RECENT POSTS

Py-cryptominisat

May 26, 2018

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.

WWW https//github.com/msoos/cryptominisat