Package: wnpp Severity: wishlist Owner: Julian Rüth <julian.ru...@fsfe.org>
* Package name : cryptominisat Version : 5.6.3 Upstream Author : Mate Soos <mate.s...@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.
