Source Package: cryptominisat (5.11.4+dfsg1-2)
Links for cryptominisat
Debian Resources:
- Bug Reports
- Developer Information
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [www.msoos.org]
The following binary packages are built from this source package:
- cryptominisat
- interfaccia a riga di comando per il risolutore SAT
- libcryptominisat5-5.11
- 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)
Other Packages Related to cryptominisat
|
|
-
- 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
- header files and a static library for Python (default)
-
- adep: python3-setuptools
- miglioramenti per Python3 Distutils
-
- adep: zlib1g-dev
- libreria di compressione - sviluppo
Download cryptominisat
| File | Size (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