all options
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Source Package: cryptominisat (5.11.4+dfsg1-2)

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.11
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.11.4+dfsg1-2.dsc 2.4 kB 5e1bb81e869cfa922dcadf72fbfc0958
cryptominisat_5.11.4+dfsg1.orig.tar.xz 517.8 kB 22041d86963e4ed8ae208e8638ecb007
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz 5.2 kB 0a7b8fa19d2009619cf55115676a9f53
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