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

Pakiet źródłowy: sat4j (2.3.6-1)

Odnośniki dla sat4j

Zasoby systemu Debian:

Opiekunowie:

Zasoby zewnętrzne:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
sat4j
Wydajna biblioteka solverów SAT w Javie

Inne pakiety związane z sat4j

  • build-depends
  • build-depends-indep

Download sat4j

PlikRozmiar (w KiB)Suma kontrolna MD5
sat4j_2.3.6-1.dsc 2,0 KiB 637b6ac63d4186e1389c3b2ec6ea5fe4
sat4j_2.3.6.orig.tar.xz 6 605,7 KiB 5fe729d34b717f7eb890f0df557225c6
sat4j_2.3.6-1.debian.tar.xz 16,5 KiB 5a4f2090108861f0039aaec02ac7ac43
Repozytorium kodu źródłowego Debiana (VCS: Git)
https://salsa.debian.org/science-team/sat4j.git
Repozytorium kodu źródłowego Debiana (do przeglądania)
https://salsa.debian.org/science-team/sat4j