Class 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
    • 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