clasp-1.3.2.zip

clasp-1.3.2.zip Download

Description:

Clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT).

Clasp can be used either as a C++-library that can be called from user programs or as a stand-alone program together with Gringo or lparse as front-end.

Compiled with Haiku (Revision 35752) GCC 4.

Submitted On:

07 Mar 2010

Submitted By:

Max Max (Max)

Submitted On:

07 Mar 2010

File Size:

296.42 Kb

Downloads:

License:

GPL