wszystkie opcje
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Pakiet źródłowy: minisat+ (1.0-5)

Odnośniki dla minisat+

Zasoby systemu Debian:

Opiekunowie:

Zasoby zewnętrzne:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
minisat+
solver for pseudo-Boolean constraints

Inne pakiety związane z minisat+

  • build-depends
  • build-depends-indep

Download minisat+

PlikRozmiar (w KiB)Suma kontrolna MD5
minisat+_1.0-5.dsc 1,9 KiB 904dc8f8101802956b42dda283c72e10
minisat+_1.0.orig.tar.gz 78,1 KiB a5910ef8bea269632eff74b54f07010d
minisat+_1.0-5.debian.tar.xz 4,3 KiB 822198fb8a890c6b9a64ad20a0c4aa4c
Repozytorium kodu źródłowego Debiana (VCS: Git)
https://salsa.debian.org/science-team/minisatp.git
Repozytorium kodu źródłowego Debiana (do przeglądania)
https://salsa.debian.org/science-team/minisatp