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

Пакет исходного кода: cryptominisat (5.11.4+dfsg1-2)

Ссылки для cryptominisat

Из этого пакета исходного кода собираются следующие двоичные пакеты:

cryptominisat: SAT solver command line interface
libcryptominisat5-5.11: SAT solver library
libcryptominisat5-dev: development files for the CryptoMiniSat SAT solver
python3-cryptominisat: Python bindings for the CryptoMiniSat SAT solver (Python 3)

adep: cmake

платформонезависимая система сборки с открытым исходным кодом
adep: debhelper-compat (= 13)

Пакет недоступен
adep: dh-python

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

автоматический генератор man-страниц
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

Python3 Distutils Enhancements
adep: zlib1g-dev

библиотека сжатия (файлы для разработчиков)

Файл	Размер (в Кб)	Контрольная сумма MD5
cryptominisat_5.11.4+dfsg1-2.dsc	2,4 Кб	5e1bb81e869cfa922dcadf72fbfc0958
cryptominisat_5.11.4+dfsg1.orig.tar.xz	517,8 Кб	22041d86963e4ed8ae208e8638ecb007
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz	5,2 Кб	0a7b8fa19d2009619cf55115676a9f53

Репозиторий пакетов исходного кода Debian (VCS: Git): https://salsa.debian.org/science-team/cryptominisat.git
Репозиторий пакетов исходного кода Debian (доступен просмотр): https://salsa.debian.org/science-team/cryptominisat