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
Language:Python54 11 3118
clasp
⚙️ A conflict-driven nogood learning answer set solver
Language:C++117 12 7316
clingcon
⛓️ Extension of clingo to handle constraints over integers
Language:C++25 11 754
clingo
🤔 A grounder and solver for logic programs.
Language:C++603 34 35681
clingo-rs
🗝️ Rust bindings to the clingo library
Language:Rust29 5 189
clingraph
🕸️ A visualizer for graphs defined as logic programs
Language:Python28 7 506
clorm
🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
Language:Python52 9 955
guide
🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
Language:TeX75 12 1913
pddl-instances
🌍 PDDL instances covering the International Planning Competitions
Language:Common Lisp110 13 556
plasp
🗺️ ASP planning tools for PDDL
Language:C++28 11 613

Potassco's Repositories

potassco/clingo
🤔 A grounder and solver for logic programs.
Language:C++603 34 35681
potassco/clasp
⚙️ A conflict-driven nogood learning answer set solver
Language:C++117 12 7316
potassco/clorm
🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
Language:Python52 9 955
potassco/clingcon
⛓️ Extension of clingo to handle constraints over integers
Language:C++25 11 754
potassco/clinguin
🐧 Clingo Interactive UI
Language:Python25 6 1166
potassco/telingo
🕰️ A solver for temporal programs.
Language:Python22 7 107
potassco/asprin
💊 Qualitative and quantitative optimization in answer set programming
Language:Python19 5 103
potassco/plingo
🍀 A system for probabilistic reasoning in clingo
Language:Python15 8 112
potassco/flatzinc
🫓 A parser for the FlatZinc modelling language
Language:Rust11 3 85
potassco/clingofmt
♻️ Experimental formatter for clingo code
Language:Rust10 4 7
potassco/eclingo
🧠 A solver for epistemic logic programs.
Language:Python9 3 34
potassco/anthem
A translator between answer set programs and first-order logic
Language:Rust7 4 431
potassco/anthem-1
🎼 Translate answer set programs to first-order theorem prover language
Language:Rust75
potassco/clingo-explaid
Tools to aid the development of explanation systems using clingo
Language:Python70
potassco/python-clingox
🧰 Library with auxilary functions to use along with the clingo module.
Language:Python7 4 112
potassco/clingo-dl
📏 Theory propagator for difference logic using clingo's theory language and C++ API.
Language:C++6 11 372
potassco/clintest
🧪 A test framework for clingo programs
Language:Python6 8 311
potassco/flatzingo
:flamingo: A flatzinc frontend for clingcon
Language:Python6 6 311
potassco/mapf-subgraph-system
🕵️ Solving MAPF under map-to-subgraph transformation with SAT and ASP
Language:C++6 7 01
potassco/viasp
A visualization tool for clingo
Language:Python6 3 581
potassco/tree-sitter-clingo
🌳 Clingo grammar for tree-sitter
Language:C5 4 60
potassco/xorro
⚔️ A solver for programs with XOR constraints.
Language:Python5 6 21
potassco/clingo-lpx
🧮 A simplistic simplex solver for checking satisfiability of a set of equations.
Language:C++4 5 8
potassco/ngo
Non Ground Optimizer for logic programs.
Language:Python4 6 74
potassco/fzn2lp
🥞 A converter from FlatZinc into an ASP fact format
Language:Rust3 4 10
potassco/libpotassco
🧱 A utility library used by various potassco projects
Language:C++3 6 45
potassco/conda
📦 Conda recepies for potassco projects.
Language:Python1 6 24
potassco/study-regulations
1 4 0
potassco/coom-suite
Python package to parse and solve product configuration problems specified in COOM using ASP
Language:Python
potassco/fclingo
Solver for ASP plus conditional linear constraints with founded variables
Language:Python6 14