src/SATSolver.cpp File Reference

Interface to (genuine) SAT solvers. More...

#include "dlvhex2/SATSolver.h"
#include "dlvhex2/CDNLSolver.h"
#include "dlvhex2/ClaspSolver.h"
#include "dlvhex2/ProgramCtx.h"

Include dependency graph for SATSolver.cpp:

Go to the source code of this file.

---

Detailed Description

Interface to (genuine) SAT solvers.

Author:

Christoph Redl <redl@kr.tuwien.ac.at>

Definition in file SATSolver.cpp.