» Ubuntu » Paketler » questing (25.10) » Kaynak » science » minisat+

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

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

minisat+ için bağlantılar

Ubuntu Kaynakları:

Geliştirici:

Ubuntu MOTU Developers (Posta Arşivi)

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

Original Maintainers (usually from Debian):

Debian Science Maintainers (Posta Arşivi)
Ralf Treinen

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

Dış Kaynaklar:

Ana Sayfa [minisat.se]

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:

minisat+: solver for pseudo-Boolean constraints

minisat+ ile İlgili Diğer Paketler

inşa bağımlılıkları

bağımsız inşa bağımlılıkları

adep: debhelper-compat (= 13)

Paket mevcut değil
adep: libgmp-dev

Multiprecision arithmetic library developers tools
adep: zlib1g-dev

compression library - development

Download minisat+

Dosya	Boyut (kB cinsinden)	MD5 sağlama toplamı
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 Paket Kaynak Deposu (VCS: Git): https://salsa.debian.org/science-team/minisatp.git
Debian Paket Kaynak Deposu (Gezinilebilir): https://salsa.debian.org/science-team/minisatp