» Ubuntu » Packages » questing (25.10) » Source » science » minisat+

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

Source Package: minisat+ (1.0-5) [universe]

Links for minisat+

Ubuntu Resources:

Maintainer:

Ubuntu MOTU Developers (Mail Archive)

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

Original Maintainers (usually from Debian):

Debian Science Maintainers (Mail Archive)
Ralf Treinen

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

External Resources:

Homepage [minisat.se]

The following binary packages are built from this source package:

minisat+: solver for pseudo-Boolean constraints

Other Packages Related to minisat+

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Package not available
adep: libgmp-dev

Multiprecision arithmetic library developers tools
adep: zlib1g-dev

compression library - development

Download minisat+

File	Size (in kB)	MD5 checksum
minisat+_1.0-5.dsc	1.9 kB	904dc8f8101802956b42dda283c72e10
minisat+_1.0.orig.tar.gz	78.1 kB	a5910ef8bea269632eff74b54f07010d
minisat+_1.0-5.debian.tar.xz	4.3 kB	822198fb8a890c6b9a64ad20a0c4aa4c

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/science-team/minisatp.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/science-team/minisatp