Web lists-archives.com

Bug#905391: ITP: cryptominisat -- CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver




Package: wnpp
Severity: wishlist
Owner: Julian Rüth <julian.rueth@xxxxxxxx>

* Package name    : cryptominisat
  Version         : 5.6.3
  Upstream Author : Mate Soos <mate.soos@xxxxxxxxx>
* URL             : https://github.com/msoos/cryptominisat
* License         : MIT
  Programming Lang: C++
  Description     : CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver

CryptoMiniSat is a modern SAT solver. The actual cryptominisat binary
links against the cryptominisat shared library that comes with headers
for C/C++ and a Python module.

CryptoMiniSat is an optional dependency of SageMath which has already
been packaged by the debian-science team. I will contact the
debian-science-sagemath list for advice and sponsors for this package.