» Ubuntu » Pakete » resolute (26.04LTS) » Quellcode » science » minisat+

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

Quellcode-Paket: minisat+ (1.0-5build1) [universe]

Links für minisat+

Ubuntu-Ressourcen:

Betreuer:

Ubuntu MOTU Developers (E-Mail-Archiv)

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

Original Maintainers (usually from Debian):

Debian Science Maintainers (E-Mail-Archiv)
Ralf Treinen

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

Externe Ressourcen:

Homepage [minisat.se]

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

minisat+: solver for pseudo-Boolean constraints

Andere Pakete mit Bezug zu minisat+

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Paket nicht verfügbar
adep: libgmp-dev

Multiprecision arithmetic library developers tools
adep: zlib1g-dev

compression library - development

Download minisat+

Datei	Größe (in kB)	MD5-Prüfsumme
minisat+_1.0.orig.tar.gz	78,1 kB	a5910ef8bea269632eff74b54f07010d
minisat+_1.0-5build1.debian.tar.xz	4,4 kB	96b659c41baba3c7286e4ad6765c086e
minisat+_1.0-5build1.dsc	1,9 kB	26804afad020a0d7851c3c3308000210

Quellcode-Depot des Debian-Pakets (VCS: Git): https://salsa.debian.org/science-team/minisatp.git
Quellcode-Depot des Debian-Pakets (browsable): https://salsa.debian.org/science-team/minisatp