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

Source Package: cryptominisat (5.11.15+dfsg1-1.1)

Links for cryptominisat

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
cryptominisat
SAT-løser - grænseflade for kommandolinjen
libcryptominisat5-5.11t64
SAT-løserbibliotek
libcryptominisat5-dev
development files for the CryptoMiniSat SAT solver
python3-cryptominisat
Pythonbindinger for CryptoMiniSat SAT-løseren - Python 3

Other Packages Related to cryptominisat

  • build-depends
  • build-depends-indep

Download cryptominisat

FileSize (in kB)MD5 checksum
cryptominisat_5.11.15+dfsg1-1.1.dsc 2.5 kB 271d7111fd96daf1bd48ee4a086ce31d
cryptominisat_5.11.15+dfsg1.orig.tar.xz 463.7 kB a0c2e04cb58bd97213598d08b146b25c
cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz 5.5 kB 4852edae230e19dd7b9756bf5bef2107
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