all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Source Package: sat4j (2.3.1-1)

Links for sat4j

Debian Resources:


External Resources:

The following binary packages are built from this source package:
Efficient library of SAT solvers in Java

Other Packages Related to sat4j

  • build-depends
  • build-depends-indep

Download sat4j

FileSize (in kB)MD5 checksum
sat4j_2.3.1-1.dsc 1.2 kB 9043f37a911fe5df2fe142fd8fd8c7c3
sat4j_2.3.1.orig.tar.gz 13,594.2 kB 79c952e6fb2b8f8236d5f7ea96360a17
sat4j_2.3.1-1.debian.tar.gz 11.3 kB ff0666d3cfbea2a25d515b19c650648b