The "/postfixadmin/postfi..fixadmin_2.3_all.deb" file could not be found or is not available. Please select another file.

Potassco

humesikkins, rkaminski, sthiele

Download clingo-3.0.4-source.tar.gz

Browse All Files

Description

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.

Potassco Web Site

User Ratings

100% recommended

Write a Review

User Reviews

Posted by Martin — 2011-02-01

It's the mutt's nuts!
Posted by Adam Smith — 1 day ago

Finally, regexes for NP!
Posted by dzikes — 2012-04-24

Very nice app :)

Additional Project Details

Last Update

2012-05-16

Platform(s) Available

Registered

2008-09-04