Potassco download | SourceForge.net

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

3 Reviews

Downloads: 90 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

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free

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

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It Free

Recommended Projects

VKAS - a genetic function finder
An AI program that deploys genetic programming
JASPWrapper
JASPWrapper is a potential "universal" java wrapper for ASP (answer set programming) inferential engine. It invokes native compiled solver and grounder by Java Virtual Machine and computes answers set analyzing and reifying output stream.
DLVHEX solver for HEX-programs
dlvhex is a prototype solver for HEX-programs which integrate Answer-Set Programs with higher-order reasoning and external computation sources. It comes with a full-fledged plug-in framework for rapid extension development.
sealion
mmdasp is intended to provide several tools for declarative program development and is linked to a scientific project that will be carried out at Vienna University of Technology. Our main system is the SeaLion IDE for Answer-Set Programming. For more information on that visit our http://www.sealion.at website.
Flash Card Tutor
Randomly display language quiz lines from a text file