Interface to genuine nonground disjunctive ASP Solvers powered by clingo or internal solver. More...

#include "dlvhex2/GenuineSolver.h"
#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/Benchmarking.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/AnswerSet.h"
#include "dlvhex2/InternalGrounder.h"
#include "dlvhex2/InternalGroundDASPSolver.h"
#include "dlvhex2/GringoGrounder.h"
#include "dlvhex2/ClaspSolver.h"
#include <boost/tokenizer.hpp>
#include <boost/thread.hpp>
#include <boost/shared_ptr.hpp>
#include <boost/foreach.hpp>
#include <list>

Include dependency graph for GenuineSolver.cpp:

Go to the source code of this file.

Detailed Description

Interface to genuine nonground disjunctive ASP Solvers powered by clingo or internal solver.

Author:: Thomas Krennwallner; Christoph Redl; Peter Schueller

Definition in file GenuineSolver.cpp.