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

Source Package: cryptominisat (5.11.21+dfsg1-1)

Links for cryptominisat

The following binary packages are built from this source package:

cryptominisat: interfaccia a riga di comando per il risolutore SAT
libcryptominisat5-5.11t64: libreria per risolutore SAT
libcryptominisat5-dev: file di sviluppo per il risolutore SAT CryptoMiniSat
python3-cryptominisat: collegamenti Python per il risolutore SAT CryptoMiniSat (Python 3)

adep: dpkg-dev (>= 1.22.5)

strumenti per lo sviluppo di pacchetti Debian
adep: cmake

sistema «make» open source e multipiattaforma
adep: debhelper-compat (= 13)

Package not available
adep: dh-python

strumenti Debian helper per pacchettizzare librerie e applicazioni Python
adep: help2man

generatore automatico di pagine man
adep: libboost-program-options-dev

libreria per opzioni di programma per C++ (versione predefinita)
adep: libm4ri-dev

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

strumenti ausiliari Debian per pacchettizzare librerie Python usando PEP517
adep: python3-dev

file header e libreria statica per Python (predefinito)
adep: python3-setuptools

miglioramenti per Python3 Distutils
adep: zlib1g-dev

libreria di compressione - sviluppo

File	Size (in kB)	MD5 checksum
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

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