all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Source Package: sat4j (2.3.6-1)

Links for sat4j

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
sat4j
libreria efficiente per solutori SAT in Java

Other Packages Related to sat4j

  • build-depends
  • build-depends-indep

Download sat4j

FileSize (in kB)MD5 checksum
sat4j_2.3.6-1.dsc 2.0 kB 637b6ac63d4186e1389c3b2ec6ea5fe4
sat4j_2.3.6.orig.tar.xz 6,605.7 kB 5fe729d34b717f7eb890f0df557225c6
sat4j_2.3.6-1.debian.tar.xz 16.5 kB 5a4f2090108861f0039aaec02ac7ac43
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/science-team/sat4j.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/science-team/sat4j