Class NativeMinisatSolver

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

public final class NativeMinisatSolver extends Object implements IncrementalSatSolver
NativeMinisatSolver class
Author:
Mathias Hofer