Potassco download | SourceForge.net

As of 2019-08-26, this project can be found here.

3 Reviews

Downloads: 23 This Week

Last Update: 2021-06-07

Get an email when there's a new version of Potassco

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

Other Useful Business Software

Get the most trusted enterprise browser Icon

Get the most trusted enterprise browser

Advanced built-in security helps IT prevent breaches before they happen

Defend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.

Download Chrome

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

Recommended Projects

Linear Program Solver (Simplex)
Linear Program Solver (Solvexo) is an optimization package intended for solving linear programming problems. The main features of the Solvexo are: · Solvexo solver is based on the efficient implementation of the simplex method (one or two phases); · Solvexo provides not only an answer, but...
OR-Tools - Google Optimization Tools
Google Optimization Tools, also known as OR-Tools is an open-source, fast and portable software suite for solving combinatorial optimization problems. These encompass problems in vehicle routing, flows, integer and linear programming, and constraint programming. This suite contains a number of...
Linear Program Solver
Linear Program Solver (LiPS) is an optimization package oriented on solving linear, integer and goal programming problems. The main features of LiPS are: ● LiPS is based on the efficient implementation of the modified simplex method that solves large scale problems. ● LiPS provides not just...
Clasp
Develop Apps Script projects locally using clasp (Command Line Apps Script Projects). You can also try clasp in Gitpod, a one-click online IDE for GitHub. Clasp allows you to develop your Apps Script projects locally. That means you can check your code into source control, collaborate with other...
ECLiPSe CLP
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.