#acl EditorsGroup:read,write,delete,revert,admin All:read

= 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 [[http://http://dtai.cs.kuleuven.be/krr/software/gidl|GidL]] and the search algorithm  [[http://http://dtai.cs.kuleuven.be/krr/software/minisatid|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 [[http://dtai.cs.kuleuven.be/krr/idp|URL]].
 * Wittocx J. et al. ''The idp system: a model expansion system for an extension of classical logic''. LASH 2008.