We have moved!

aclasp

aclasp uses a slightly modified restart policy based upon the average decision level on which conflicts occurred in the last restart interval.

Download Documentation

aspuncud

Solver for upgrade scenarios in the Common Upgradeability Description Format (CUDF). Winner of Paranoid and Trendy Track at the Mancoosi International Solver Competition (MISC) 2011.

System (superseded by aspcud)

bingo

System (replaced by gringo 3)

claspar

claspar is a parallelized version of clasp 1 using MPI to distribute search.

Download Resources Article Citation

claspD

claspD is an extension of clasp that allows for solving disjunctive logic programs.

System (superseded by clasp 3o) Resources Article Citation

fmc2iasp

fmc2iasp is a system for computing finite models of first-order theories (written in TPTP format) via incremental Answer Set Programming. fmc2iasp uses iClingo for finding answer sets of the resulting logic program. An answer set represents a finite model of the input theory.

System (replaced by fimo) Article Citation

hclasp

hclasp provides a general declarative framework to incorporate domain-specific heuristics into ASP solving. It extends clasp allowing to program the heuristic of the solver directly from the ASP code.

System (superseded by clasp 3) Resources Article Citation

hclavis

hclavis applies clavis visualization tool to hclasp, an extension of clasp to program the heuristic of the solver directly from the ASP code.

Download

iClingo

iClingo is an incremental ASP system implemented on top of Clingo 3. It is based on the idea that the grounder as well as the solver are implemented in a stateful way. Thus, both keep their previous states while increasing an incremental parameter. As regards grounding, at each incremental step, the goal is to produce only ground rules stemming from the current program slice, without re-producing previous ground rules. The ground program slices are then gradually passed to the solver that accumulates ground rules and computes answer sets for them.

System ( Version 3.x, Version 2.x, both superseded by Clingo 4) Documentation Article Citation

oClingo

oClingo is a system for reactive answer set programming, extending gringo and clasp for handling external data streams provided at runtime via a controller.

System (superseded by Clingo 4) Article Citation

PBclasp

PBclasp bundles a set of tools for using the ASP solver clasp as a full-fledged pseudo-Boolean solver.

System (superseded by clasp)

unclasp

clasp-1.3.X extended with option --opt-uncore that enables unsatisfiability-based optimization as in MSUnCore.

System (superseded by clasp 3)