» Ubuntu » Paketit » questing (25.10) » Lähdepaketti » science » minisat+

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

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

Links for minisat+

Ubuntu-palvelut:

Ylläpitäjä:

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:

Kotisivu [minisat.se]

Seuraavat binääripaketit on käännetty tästä lähdepaketista:

minisat+: solver for pseudo-Boolean constraints

Muut pakettiin minisat+ liittyvät paketit

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Paketti ei saatavilla
adep: libgmp-dev

Multiprecision arithmetic library developers tools
adep: zlib1g-dev

compression library - development

Download minisat+

Tiedosto	Koko (kt)	MD5-tarkiste
minisat+_1.0-5.dsc	1.9 kt	904dc8f8101802956b42dda283c72e10
minisat+_1.0.orig.tar.gz	78.1 kt	a5910ef8bea269632eff74b54f07010d
minisat+_1.0-5.debian.tar.xz	4.3 kt	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