This page collects abondoned projects or projects whose functionality has been included in our mainline systems.
Extension of clasp with a modified restart strategy.
Solver for package dependencies.
A parallel version of clasp using MPI.
A modified clasp to support disjunctive programs.
A system to compute finite models of first-order theories.
A modified version of clasp to incorporate domain-specific heuristics.
A combination of clavis and hclasp.
An incremental version of clingo.
A modified version of clingo for online handling of external data streams.
A modified version of clasp to handle pseudo-Boolean problems in OPB format.
A system to interactively query ASP encodings.
An extension of clasp that implements unsatisfiability-based optimization.