Potassco

  •        0

Potassco, the Potsdam Answer Set Solving Collection bundles tools for Answer Set Programming developed at the University of Potsdam, among them, the answer set solver clasp, the grounder gringo, and their combinations clingo and iclingo.

http://potassco.sourceforge.net

Tags
Implementation
License
Platform

   




Related Projects

GrinGo


GrinGo is now part of Potassco http://potassco.sourceforge.net/

clasp-pb - Fork of clasp from potassco with support for pseudo boolean constraint learning


Fork of clasp from potassco with support for pseudo boolean constraint learning

vale1410-bule


A refreshing new CNF grounder - combining features of Gringo and Sugar. (http://potassco.sourceforge.net/, http://bach.istc.kobe-u.ac.jp/sugar/).