src/GringoGrounder.cpp File Reference

Interface to genuine gringo 4.4.0-based grounder. More...

Go to the source code of this file.

---

Detailed Description

Interface to genuine gringo 4.4.0-based grounder.

Author:

Christoph Redl

Definition in file GringoGrounder.cpp.