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. 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(java.lang.String[] args)
  - Methods inherited from class java.lang.Object
    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- SatSolverExample
```
public SatSolverExample()
```

Method Detail

main

public static void main(java.lang.String[] args)
                 throws ParserException,
                        java.io.IOException

Throws:: ParserException; java.io.IOException