src/ASPSolverManager.cpp File Reference

ASP Solver Manager. More...

#include "dlvhex2/ASPSolverManager.h"
#include "dlvhex2/Benchmarking.h"

Include dependency graph for ASPSolverManager.cpp:

Go to the source code of this file.

---

Detailed Description

ASP Solver Manager.

Author:

Peter Schller

Date:

Tue Jul 13 2010

Definition in file ASPSolverManager.cpp.