sat4j (2.3.6-1build1)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://nl.archive.ubuntu.com/ubuntu
Codename: stonking
Component: universe
Source: none
Architecture: amd64v3
Section: universe/science
Priority: extra
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 996 B
Size expected: 846.8 kB
Size actual: 846.8 kB
Size match

Dependencies

Required package dependencies

default-jre | java8-runtime | java9-runtime | java10-runtime | java11-runtime
jarwrapper (>= 0.5)
libcommons-cli-java

Suggested packages

Recommended additional packages

None

Description

Efficient library of SAT solvers in Java

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	c2a80b06…322689d3	c2a80b06…322689d3
SHA-1	d72854d8…d95f7646	d72854d8…d95f7646
SHA-256	197ecace…65c76443	197ecace…65c76443
SHA-512	ef1959d1…bbae2697	ef1959d1…bbae2697

Files and directories included

.
usr
usr/bin
usr/share
usr/share/doc
usr/share/doc/sat4j
usr/share/doc/sat4j/changelog.Debian.gz
usr/share/doc/sat4j/copyright
usr/share/java
usr/share/java/org.ow2.sat4j.core-2.3.5.jar
usr/share/java/org.ow2.sat4j.maxsat-2.3.5.jar
usr/share/java/org.ow2.sat4j.pb-2.3.5.jar
usr/share/man
usr/share/man/man1
usr/share/man/man1/sat4j.1.gz
usr/share/maven-repo
usr/share/maven-repo/org
usr/share/maven-repo/org/ow2
usr/share/maven-repo/org/ow2/ow2
usr/share/maven-repo/org/ow2/ow2/1.5
usr/share/maven-repo/org/ow2/ow2/1.5/ow2-1.5.pom
usr/share/maven-repo/org/ow2/ow2/debian
usr/share/maven-repo/org/ow2/ow2/debian/ow2-debian.pom
usr/share/maven-repo/org/ow2/sat4j
usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.core
usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.core/2.3.5
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
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
usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.maxsat/2.3.5
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
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
usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.pb/2.3.5
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
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
usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.pom/2.3.5
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
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
usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.sat/2.3.5
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
usr/share/maven-repo/org/ow2/sat4j/org.ow2.sat4j.sat/debian/org.ow2.sat4j.sat-debian.pom
usr/bin/sat4j
usr/share/java/org.ow2.sat4j.core.jar
usr/share/java/org.ow2.sat4j.maxsat.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/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/debian/org.ow2.sat4j.core-debian.jar
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/debian/org.ow2.sat4j.maxsat-debian.jar
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/debian/org.ow2.sat4j.pb-debian.jar