[ jammy ] [ noble ] [ plucky ] [ questing ] [ resolute ]

Source Package: cryptominisat (5.11.21+dfsg1-3build1) [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.21+dfsg1.orig.tar.xz	470.2 kB	73a3c9062f35408e0eb2d90af7e3cfc4
cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz	6.9 kB	ab227ca3302b5a4e57bc159717b3243d
cryptominisat_5.11.21+dfsg1-3build1.dsc	2.4 kB	0e43686719f2296f272831da4c8c593a

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