IDP 2
Team
- Bart Bogaerts (KU Leuven)
- Maurice Bruynooghe (KU Leuven)
- Broes De Cat (KU Leuven)
- Marc Denecker (KU Leuven)
- Jo Devriendt (KU Leuven)
- Joachim Jansen (KU Leuven)
- Pieter Van Hertum (KU Leuven)
- Stef De Pooter (KU Leuven)
Description
IDP2 consists of the grounder GidL and the search algorithm MinisatID.
System Settings
System versions:
- GidL 1.6.12
- MinisatID 3.7.4
All benchmarks were solved with IDP using its default parameter settings except the maximum approximation level was set to 6. IDP3 was used to handle pre- and postprocessing.
References
Participant URL.
Wittocx J. et al. The idp system: a model expansion system for an extension of classical logic. LASH 2008.