Name: Potassco
Type: Organization
Bio: Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam
Twitter: potassco
Location: Potsdam, Germany
Blog: https://potassco.org/
Potassco's Projects
Automatic algorithm configuration for clingo
🎼 Translate answer set programs to first-order theorem prover language
A translator between answer set programs and first-order logic
📅 ASP Library for dates
A repository of ASP planning benchmarks
A solver for package problems in CUDF format
🏚️ aspic legacy code: last development snapshot from Sep 2016.
🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming
Collection of ASP encodings for asprilo
💊 Qualitative and quantitative optimization in answer set programming
A simple approach to stream reasoning in clingo
Automata for dynamic answer set solving
🏎️ Git-mirror of the benchmark-tool
⚙️ A conflict-driven nogood learning answer set solver
⛓️ Extension of clingo to handle constraints over integers
Raw Rust FFI bindings to the C API of clingcon library
🤔 A grounder and solver for logic programs.
🏗️ Example how to use the clingo library in a cmake based project.
📏 Theory propagator for difference logic using clingo's theory language and C++ API.
Raw Rust FFI bindings to the C API of clingo-dl library
Tools to aid the development of explanation systems using clingo
🧮 A simplistic simplex solver for checking satisfiability of a set of equations.
🗝️ Rust bindings to the clingo library
🌐 Clingo via HTTP
Raw Rust FFI bindings to the C API of clingo library
📟 Clingo + XOR-constraints + Simplex
♻️ Experimental formatter for clingo code
Theory propagator for linear programming using clingo theory language and interface.