Sign me up Login

Details about package "cryptominisat"

Name: cryptominisat
Uploader: Julian Rüth <julian.rueth@fsfe.org> (Debian QA page)
Description: cryptominisat - SAT solver command line interface
libcryptominisat5-5.6 - SAT solver library
libcryptominisat5-dev - development files for the CryptoMiniSat SAT solver
python3-cryptominisat - Python bindings for the CryptoMiniSat SAT solver (Python 3)

Package versions

Version 5.6.4+dfsg.1-1

Information

Version: 5.6.4+dfsg.1-1
Uploaded: 2018-08-22 00:37
Source package: https://mentors.debian.net/debian/pool/main/c/cryptominisat/cryptominisat_5.6.4+dfsg.1-1.dsc
Section: math
Priority: optional
Closes bugs: 905391

QA information

Comments

No comments

Version 5.6.4+dfsg.1-1

Information

Version: 5.6.4+dfsg.1-1
Uploaded: 2018-08-08 00:19
Source package: https://mentors.debian.net/debian/pool/main/c/cryptominisat/cryptominisat_5.6.4+dfsg.1-1.dsc
Section: math
Priority: optional
Closes bugs: 905391

QA information

Comments

No comments