IDP 3

Team

Description

IDP 3 uses FO(ID,Agg) + Lua as input language.

Model generation/optimization is achieved by lifted unit propagation + grounding with bounds (possibly using XSB for evaluating definitions) + applying the search algorithm MinisatID.

The integration with Lua (with logic components as first-class citizens) is used for pre- and postprocessing and to implement more complex inferences.

System Settings

System versions:

We will refer to the following options:

By default, the first 4 are disabled and the last 2 are enabled. Only options not taking their default value are mentioned.

System Track: lazy grounding, xsb, cpsupport.

Model-and-Solve Track:

References