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.