We have moved!
Our new web portal is at potassco.org.aclasp
aclasp uses a slightly modified restart policy based upon the average decision level on which conflicts occurred in the last restart interval.
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.
bingo
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.
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.
unclasp
clasp-1.3.X extended with option --opt-uncore that enables unsatisfiability-based optimization as in MSUnCore.
System (superseded by clasp 3)
![Follow us at G+](https://www.gstatic.com/images/icons/gplus-64.png)
![SourceForge.net Logo](images/sourceforge-logo.png)