Package org.tweetyproject.logics.pl.examples

Class SatSolverExample

java.lang.Object

org.tweetyproject.logics.pl.examples.SatSolverExample

public class SatSolverExample
extends 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. See CmdLineSatSolver for download links.

Author:

Matthias Thimm, Anna Gessler

Constructor Summary

Constructors

Constructor	Description
SatSolverExample()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	main

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SatSolverExample

public SatSolverExample()

Method Details

main

public static void main(String[] args)
                 throws ParserException,
IOException

main

Parameters:

args - arguments

Throws:

ParserException - ParserException

IOException - IOException