Potassco
Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam
Potsdam, Germany
Pinned Repositories
asprilo
🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming
clasp
⚙️ A conflict-driven nogood learning answer set solver
clingcon
⛓️ Extension of clingo to handle constraints over integers
clingo
🤔 A grounder and solver for logic programs.
clingo-rs
🗝️ Rust bindings to the clingo library
clingraph
🕸️ A visualizer for graphs defined as logic programs
clorm
🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
guide
🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
pddl-instances
🌍 PDDL instances covering the International Planning Competitions
plasp
🗺️ ASP planning tools for PDDL
Potassco's Repositories
potassco/teaspoon
🥄 ASP encodings to solve the curriculum-based course timetabling problem
potassco/train-scheduling-with-clingo-dl
🚄 Benchmark scripts, encodings and instances for train scheduling with clingo-dl
potassco/clingo-cmake-example
🏗️ Example how to use the clingo library in a cmake based project.
potassco/eclingo-prototype
Epistemic logic programming with clingo
potassco/asp-planning-benchmarks
A repository of ASP planning benchmarks
potassco/aspStream
A simple approach to stream reasoning in clingo
potassco/ginkgo
🌱 Generalize learned constraints with ASP
potassco/tel
potassco/coala
coala is a translation tool for BC to ASP
potassco/fz2aspif
Translating flatzinc format to ASP intermediate language aspif. To be used with clingcon-3.x series.
potassco/libcsp
potassco/planner
An ASP-based planner
potassco/multiclingo
A simple approach to multi-shot solving with clingo
potassco/aspic-legacy
🏚️ aspic legacy code: last development snapshot from Sep 2016.
potassco/clingo-vs-telingo-planning
potassco/clingo_derive
derive macro for the clingo::ToSymbol trait
potassco/lc2casp
A translator for logic programs with constraint atoms to CASP.
potassco/tefoli
🐙 Theory Loading For Clingo
potassco/xclasp
A variant of the clasp solver for extracting learned constraints