toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Paquet source : sat4j (2.3.6-1)

Liens pour sat4j

Ressources Debian :

Responsables :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
sat4j
bibliothèque de solveurs SAT en Java

Autres paquets associés à sat4j

  • build-depends
  • build-depends-indep

Download sat4j

FichierTaille (en ko)Somme MD5
sat4j_2.3.6-1.dsc 2,0 ko 637b6ac63d4186e1389c3b2ec6ea5fe4
sat4j_2.3.6.orig.tar.xz 6 605,7 ko 5fe729d34b717f7eb890f0df557225c6
sat4j_2.3.6-1.debian.tar.xz 16,5 ko 5a4f2090108861f0039aaec02ac7ac43
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/science-team/sat4j.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/science-team/sat4j