sat4j
Efficient library of SAT solvers in Java
Command lineScience
Not tested on a device yet. What that means
Commands in the package
sat4j
About sat4j
From Debian's package description
The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. The SAT4J project also tries to provide a basis of work for SAT researchers.
From Debian's description of the sat4j package, under that package's license.
Dependencies
Depends on
default-jreorjava8-runtimeorjava9-runtimeorjava10-runtimeorjava11-runtimejarwrapperlibcommons-cli-java
Related apps
- minisatFast and lightweight SAT solverCommand line
- picosatSAT solver with proof and core supportCommand line
- cryptominisatSAT solver command line interfaceCommand line
- kissatKeep it simple and clean bare metal SAT solverCommand line
- gmtsar-coreInSAR processing system based on Generic Mapping Tools - coreCommand line
- jsurf-alggeoJava based visualization library for real algebraic geometryCommand line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the sat4j package, under that package's license.
- Description: Debian's description of the sat4j package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.