python3-cryptominisat 5.11.4+dfsg1-2build1 (amd64 binary) in ubuntu lunar

 CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
 .
 This package provides the pycryptosat module to use CryptoMiniSat from Python
 3. See https://github.com/msoos/cryptominisat#python-usage for examples.

Details

Package version:
5.11.4+dfsg1-2build1
Source:
cryptominisat 5.11.4+dfsg1-2build1 source package in Ubuntu
Status:
Published
Component:
universe
Priority:
Optional