dlvhex
2.5.0
|
Interface to (genuine) SAT solvers. More...
#include "dlvhex2/SATSolver.h"
#include "dlvhex2/CDNLSolver.h"
#include "dlvhex2/ClaspSolver.h"
#include "dlvhex2/ProgramCtx.h"
Go to the source code of this file.
Interface to (genuine) SAT solvers.
Definition in file SATSolver.cpp.