Class SatSolverExample
- java.lang.Object
-
- org.tweetyproject.logics.pl.examples.SatSolverExample
-
public class SatSolverExample extends java.lang.Object
Example code illustrating the use of external SAT solvers such as Lingeling and CaDicaL, and related utilities. Most other modern SAT solvers that use the Dimacs format can be used the same way as the solvers in this example by providing the path to the solver's binary.
Note: You need to download the respective solvers and replace the paths to their binaries in the example, otherwise it won't run. SeeCmdLineSatSolver
for download links.- Author:
- Matthias Thimm, Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description SatSolverExample()
-
Method Summary
Modifier and Type Method Description static void
main(java.lang.String[] args)
-
-
-
Method Detail
-
main
public static void main(java.lang.String[] args) throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
-