Download | Documentation | Citation
GidL is a grounder for FO(·)IDP and part of IDP.
Features
- The input language is FO(·)IDP, plus some syntax for describing the computational problem. It is called the IDP language and it is described here.
- The output language is propositional FO(·)IDP, with several constructs, and the format is called extended-CNF (ECNF).
Usage
To compile the sources on Linux/Cygwin/MacOS, unpack the tarball and run configure (view help with -h for possible options) and make.
All code is compiled and tested using the GCC compiler, versions 4.2.4 and 4.4.3. If any problems arise with more recent versions or with other compilers, please let us know.
Developed by Johan Wittocx in cooperation with Maarten Marien