welcome: please sign in
location: Participants\IDP3




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:


ASP Competition 2013: Participants\IDP3 (last edited 2013-05-24 17:47:22 by FrancescoCalimeri)