Class NativePicosatSolver

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

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