Alle Optionen
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Quellcode-Paket: cryptominisat (5.11.15+dfsg1-1.1)

Links für cryptominisat

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
cryptominisat
SAT solver command line interface
libcryptominisat5-5.11t64
SAT solver library
libcryptominisat5-dev
development files for the CryptoMiniSat SAT solver
python3-cryptominisat
Python bindings for the CryptoMiniSat SAT solver (Python 3)

Andere Pakete mit Bezug zu cryptominisat

  • build-depends
  • build-depends-indep

Download cryptominisat

DateiGröße (in kB)MD5-Prüfsumme
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
Quellcode-Depot des Debian-Pakets (VCS: Git)
https://salsa.debian.org/science-team/cryptominisat.git
Quellcode-Depot des Debian-Pakets (browsable)
https://salsa.debian.org/science-team/cryptominisat