all options
bullseye  ] [  sid  ]

Source Package: cryptominisat (5.8.0+dfsg1-1)

Links for cryptominisat

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
cryptominisat
SAT solver command line interface
libcryptominisat5-5.8
SAT solver library
libcryptominisat5-dev
development files for the CryptoMiniSat SAT solver
python3-cryptominisat
Python bindings for the CryptoMiniSat SAT solver (Python 3)

Other Packages Related to cryptominisat

  • build-depends
  • build-depends-indep

Download cryptominisat

FileSize (in kB)MD5 checksum
cryptominisat_5.8.0+dfsg1-1.dsc 2.4 kB ba996f09fe256ede47010d385fda89ac
cryptominisat_5.8.0+dfsg1.orig.tar.xz 440.7 kB 5b867b1bdeda288f3604bbeb42a6fa15
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz 6.0 kB e1be00a2c948aadf91a45e670cc33215
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/science-team/cryptominisat.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/science-team/cryptominisat