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

Source Package: cryptominisat (5.11.15+dfsg1-1.1build1) [universe]

Links for 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.

The following binary packages are built from this source package:

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)

Package not available
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

File	Size (in kB)	MD5 checksum
cryptominisat_5.11.15+dfsg1-1.1build1.dsc	2.6 kB	d4b1b14b920fb99e5b586a851402bbf3
cryptominisat_5.11.15+dfsg1.orig.tar.xz	463.7 kB	a0c2e04cb58bd97213598d08b146b25c
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz	5.6 kB	22ff1e53d46f48be6e3aafc164a6ca88

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