wszystkie opcje
wheezy  ] [  jessie  ] [  sid  ]

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

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-2.dsc 1,2 KiB f81d3ad14992f7ffb00136f3839cdf75
minisat+_1.0.orig.tar.gz 78,1 KiB a5910ef8bea269632eff74b54f07010d
minisat+_1.0-2.debian.tar.gz 3,9 KiB c22d943b0ddfc19e5edf418261a27937
Repozytorium kodu źródłowego Debiana (VCS: Git)
git://git.debian.org/git/debian-science/packages/minisat+.git
Repozytorium kodu źródłowego Debiana (do przeglądania)
http://git.debian.org/?p=debian-science/packages/minisat+.git