Class NativeLingelingSolver

  • All Implemented Interfaces:
    IncrementalSatSolver

    public final class NativeLingelingSolver
    extends java.lang.Object
    implements IncrementalSatSolver
    Experimental lingeling binding
    Author:
    Mathias Hofer
    • Method Summary

      Modifier and Type Method Description
      SatSolverState createState()  
      • Methods inherited from class java.lang.Object

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