src/ASPSolver_dlv.cpp File Reference

ASP Solvers dlv integration (thread + external DLV process) More...

Go to the source code of this file.

---

Detailed Description

ASP Solvers dlv integration (thread + external DLV process)

Author:

Thomas Krennwallner

Peter Schueller

Definition in file ASPSolver_dlv.cpp.