Ubuntu

Binary package “python3-cryptominisat” in ubuntu mantic

  1. Mantic (23.10)
  2. python3-cryptominisat

Python bindings for the CryptoMiniSat SAT solver (Python 3)

 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.

Source package