Class NativeLingelingSolver

java.lang.Object
org.tweetyproject.arg.adf.sat.solver.NativeLingelingSolver
All Implemented Interfaces:
IncrementalSatSolver

public final class NativeLingelingSolver extends Object implements IncrementalSatSolver
Experimental lingeling binding
Author:
Mathias Hofer
  • Constructor Details

    • NativeLingelingSolver

      public NativeLingelingSolver()
      NativeLingelingSolver
  • Method Details