Sign me up Login

Packages uploaded by Julian Rüth

Older packages

Package Description Version Uploader Needs a sponsor?
cryptominisat cryptominisat - SAT solver command line interface
libcryptominisat5-5.6 - SAT solver library
libcryptominisat5-5.6-dev - development files for the CryptoMiniSat SAT solver
python3-cryptominisat - Python bindings for the CryptoMiniSat SAT solver (Python 3)
5.6.4+dfsg.1-1 Julian Rüth Yes