sat4j (2.3.6-1)
Details
Core information at a glance
- Distribution
- kali
- Origin
- kali-rolling
- Repository
- https://http.kali.org/kali
- Codename
- kali-rolling
- Component
- main
- Source
- none
- Architecture
- i386
- Section
- science
- Priority
- optional
- Maintainer
- Debian Science Maintainers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 996 B
- Size expected
- 852.1 kB
- Size actual
- 852.1 kB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
Efficient library of SAT solvers in Java
Tags
Package classification tags
field::mathematics
implemented-in::java
role::program
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 3bf8a2c2…866ba36a | |
| SHA-1 | 8e8726aa…f6c2c5e4 | |
| SHA-256 | 1850c964…f4cfbc1e | |
| SHA-512 | 4c678c3b…baef12ec |
Contents
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