ASP Competition 2013: Participants\WASP

DLV + WASP

Team

Description

WASP is a native ASP solver built upon a number of techniques originally introduced in SAT, which are extended and properly combined with techniques specifically defined for solving disjunctive ASP programs. Among them are restarts, constraints learning and backjumping. Grounding is carried out by an enhanced version of the DLV grounder able to cope with the main ASPCore2.0 features.

System Settings

Supported language: ASPCore 2.0 - We do not support ";" in aggregates and nested arithmetic expressions.

References

ASP Competition 2013: Participants\WASP (last edited 2013-05-28 21:40:49 by FrancescoCalimeri)