Class MinisatSatSolver

java.lang.Object
org.tweetyproject.sat.minisat.MinisatSatSolver
All Implemented Interfaces:
AutoCloseable, SatSolver

public final class MinisatSatSolver extends Object implements SatSolver
This class provides an implementation of the `SatSolver` interface using the MiniSat SAT solver. MiniSat is a widely used, efficient solver for boolean satisfiability problems.

The class handles interactions with the native MiniSat solver through bindings, allowing for operations such as variable creation, clause addition, and satisfiability checking.