» Ubuntu » Paketit » resolute (26.04LTS) » Lähdepaketti » science » minisat+

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

Source Package: minisat+ (1.0-5build1) [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.orig.tar.gz	78.1 kt	a5910ef8bea269632eff74b54f07010d
minisat+_1.0-5build1.debian.tar.xz	4.4 kt	96b659c41baba3c7286e4ad6765c086e
minisat+_1.0-5build1.dsc	1.9 kt	26804afad020a0d7851c3c3308000210

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