[ bullseye ] [ bookworm ] [ trixie ] [ sid ]

Quellcode-Paket: cryptominisat (5.11.21+dfsg1-1)

Links für cryptominisat

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)

adep: dpkg-dev (>= 1.22.5)

Debian-Werkzeuge für die Paketerstellung
adep: cmake

Plattformübergreifendes, quelloffenes Make-System
adep: debhelper-compat (= 13)

Paket nicht verfügbar
adep: dh-python

Debian helper tools for packaging Python libraries and applications
adep: help2man

Automatischer Handbuchseiten-Generator
adep: libboost-program-options-dev

program options library for C++ (default version)
adep: libm4ri-dev

Method of the Four Russians Inversion library, development files
adep: pybuild-plugin-pyproject

Debian helper tools for packaging Python libraries using PEP517
adep: python3-dev

header files and a static library for Python (default)
adep: python3-setuptools

Erweiterungen für die Python3 Distutils
adep: zlib1g-dev

Kompressionsbibliothek - Entwicklung

Datei	Größe (in kB)	MD5-Prüfsumme
cryptominisat_5.11.21+dfsg1-1.dsc	2,4 kB	999b0fd8837567cdfc0d62f884cc2523
cryptominisat_5.11.21+dfsg1.orig.tar.xz	470,2 kB	73a3c9062f35408e0eb2d90af7e3cfc4
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz	6,5 kB	5f4410c4454abe9ce32408d1175532b0

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