src/ASPSolver_libclingo.cpp File Reference

ASP Solver libclingo integration (thread + queue, no extra fork/process) More...

Go to the source code of this file.

---

Detailed Description

ASP Solver libclingo integration (thread + queue, no extra fork/process)

Author:

Thomas Krennwallner

Peter Schueller

Definition in file ASPSolver_libclingo.cpp.