Bug#905391: ITP: cryptominisat -- CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver
Package: wnpp
Severity: wishlist
Owner: Julian Rüth <julian.rueth@fsfe.org>
* Package name : cryptominisat
Version : 5.6.3
Upstream Author : Mate Soos <mate.soos@gmail.com>
* 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.
Reply to: