Package - sat4j

Package:  sat4j
apt-get install sat4j
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/s/sat4j/sat4j_2.3.6-1_all.deb (Size: 832.1KiB)

PropertyValue
Packagesat4j
Version2.3.6-1
Installed-Size996
MaintainerDebian Science Maintainers
Architectureall
Dependsdefault-jre | java8-runtime | java9-runtime | java10-runtime | java11-runtime, jarwrapper (>= 0.5), libcommons-cli-java
Breakseclipse-platform (<= 3.5.2-5)
DescriptionEfficient library of SAT solvers in Java
Description-md557ffc6bb7b4780cfe1d0a28863feef41
Homepagehttps://www.sat4j.org
Tagfield::mathematics, implemented-in::java, role::program, role::shared-lib
Sectionscience
Priorityoptional
Filenamepool/main/s/sat4j/sat4j_2.3.6-1_all.deb
Size852112
MD5sum3bf8a2c2a57b5d13df629519866ba36a
SHA2561850c9644d5bb7d192ec89edd4ca61b473421e195467c4df97333a1df4cfbc1e

Files in package

  • /usr/bin/sat4j
  • /usr/share/doc/sat4j/changelog.Debian.gz
  • /usr/share/doc/sat4j/copyright
  • /usr/share/java/org.ow2.sat4j.core-2.3.5.jar
  • /usr/share/java/org.ow2.sat4j.core.jar
  • /usr/share/java/org.ow2.sat4j.maxsat-2.3.5.jar
  • /usr/share/java/org.ow2.sat4j.maxsat.jar
  • /usr/share/java/org.ow2.sat4j.pb-2.3.5.jar
  • /usr/share/java/org.ow2.sat4j.pb.jar
  • /usr/share/java/org.sat4j.core.jar
  • /usr/share/java/org.sat4j.pb.jar
  • /usr/share/man/man1/sat4j.1.gz
  • /usr/share/maven-repo/org/ow2/ow2/1.5/ow2-1.5.pom
  • /usr/share/maven-repo/org/ow2/ow2/debian/ow2-debian.pom
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.core/2.3.5/org.ow2.sat4j.core-2.3.5.jar
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.core/2.3.5/org.ow2.sat4j.core-2.3.5.pom
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.core/debian/org.ow2.sat4j.core-debian.jar
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.core/debian/org.ow2.sat4j.core-debian.pom
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.maxsat/2.3.5/org.ow2.sat4j.maxsat-2.3.5.jar
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.maxsat/2.3.5/org.ow2.sat4j.maxsat-2.3.5.pom
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.maxsat/debian/org.ow2.sat4j.maxsat-debian.jar
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.maxsat/debian/org.ow2.sat4j.maxsat-debian.pom
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.pb/2.3.5/org.ow2.sat4j.pb-2.3.5.jar
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.pb/2.3.5/org.ow2.sat4j.pb-2.3.5.pom
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.pb/debian/org.ow2.sat4j.pb-debian.jar
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.pb/debian/org.ow2.sat4j.pb-debian.pom
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.pom/2.3.5/org.ow2.sat4j.pom-2.3.5.pom
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.pom/debian/org.ow2.sat4j.pom-debian.pom
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.sat/2.3.5/org.ow2.sat4j.sat-2.3.5.pom
  • /usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.sat/debian/org.ow2.sat4j.sat-debian.pom