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 combination clingo.

Project Samples

encoding n-queens solving n-queens

Project Activity

See All Activity >

Follow Potassco

Potassco Web Site

You Might Also Like
Easy management of simple and complex projects Icon
Easy management of simple and complex projects

We help different businesses become digital, manage projects, teams, communicate effectively and control tasks online.

Plan more projects with Worksection. Use Gantt chart and Kanban boards to organize your projects, get your team onboard and assign tasks and due dates.
Learn More
Rate This Project
Login To Rate This Project

User Ratings

5.0 out of 5 stars
★★★★★
★★★★
★★★
★★
★
3
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:
All
  • rndmcnlly Posted 2012-05-27
    Finally, regexes for NP!
  • dzikes Posted 2012-04-24
    Very nice app :)
  • mjb-bath Posted 2011-02-01
    It's the mutt's nuts!
Read more reviews >

Additional Project Details

Registered

2008-09-04
Report inappropriate content