[ jammy ] [ noble ] [ questing ] [ resolute ] [ stonking ]

Källkodspaket: cryptominisat (5.11.15+dfsg1-1.1build1) [universe]

Länkar för cryptominisat

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

It should generally not be necessary for users to contact the original maintainer.

Följande binärpaket byggs från detta källkodspaket:

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 package development tools
adep: cmake

cross-platform, open-source make system
adep: debhelper-compat (= 13)

Paketet inte tillgängligt
adep: dh-python

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

Automatic manpage 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

Python3 Distutils Enhancements
adep: zlib1g-dev

compression library - development

Fil	Storlek (i kbyte)	MD5-kontrollsumma
cryptominisat_5.11.15+dfsg1-1.1build1.dsc	2,6 kbyte	d4b1b14b920fb99e5b586a851402bbf3
cryptominisat_5.11.15+dfsg1.orig.tar.xz	463,7 kbyte	a0c2e04cb58bd97213598d08b146b25c
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz	5,6 kbyte	22ff1e53d46f48be6e3aafc164a6ca88

Debians paketkällkodsarkiv- (VCS: Git): https://salsa.debian.org/science-team/cryptominisat.git
Debians paketkällkodsarkiv (blädderbart): https://salsa.debian.org/science-team/cryptominisat