Class NativePicosatSolver

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

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

    • NativePicosatSolver

      public NativePicosatSolver()
      NativePicosatSolver
  • Method Details