Projects in Awesome Lists by potassco
A curated list of projects in awesome lists by potassco .
https://github.com/potassco/clingo
🦉 A grounder and solver for logic programs.
answer-set-programming declarative-programming logic-programming
Last synced: 21 Oct 2025
https://github.com/potassco/clasp
⚙️ A conflict-driven nogood learning answer set solver
Last synced: 01 Apr 2026
https://github.com/potassco/pddl-instances
🌍 PDDL instances covering the International Planning Competitions
Last synced: 01 Apr 2026
https://github.com/potassco/guide
🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
Last synced: 01 Apr 2026
https://github.com/potassco/clingo-rs
🗝️ Rust bindings to the clingo library
Last synced: 27 Mar 2026
https://github.com/potassco/clingraph
🕸️ A visualizer for graphs defined as logic programs
Last synced: 01 Apr 2026
https://github.com/potassco/clingcon
⛓️ Extension of clingo to handle constraints over integers
Last synced: 21 Oct 2025
https://github.com/potassco/asprin
💊 Qualitative and quantitative optimization in answer set programming
Last synced: 06 Apr 2026
https://github.com/potassco/plingo
🍀 A system for probabilistic reasoning in clingo
Last synced: 01 Apr 2026
https://github.com/potassco/clingo-explaid
💡 Tools to aid the development of explanation systems using clingo
Last synced: 01 Apr 2026
https://github.com/potassco/clingofmt
♻️ Experimental formatter for clingo code
Last synced: 01 Apr 2026
https://github.com/potassco/qasp2qbf
🧊 A translator from quantified answer set programming to quantified boolean formula
Last synced: 01 Apr 2026
https://github.com/potassco/eclingo
🧠 A solver for epistemic logic programs.
Last synced: 01 Apr 2026
https://github.com/potassco/clintest
🧪 A test framework for clingo programs
Last synced: 01 Apr 2026
https://github.com/potassco/python-clingox
🧰 Library with auxilary functions to use along with the clingo module.
Last synced: 21 Oct 2025
https://github.com/potassco/foliage
🍁 Rust crate for first-order logic with integer arithmetics
Last synced: 09 May 2025
https://github.com/potassco/mapf-subgraph-system
🕵️ Solving MAPF under map-to-subgraph transformation with SAT and ASP
Last synced: 01 Apr 2026
https://github.com/potassco/clingo-dl
📏 Theory propagator for difference logic using clingo's theory language and C++ API.
Last synced: 21 Feb 2026
https://github.com/potassco/python-project-template
📄 Template for python based projects.
Last synced: 01 Apr 2026
https://github.com/potassco/flatzingo
:flamingo: A flatzinc frontend for clingcon
Last synced: 01 Apr 2026
https://github.com/potassco/xorro
⚔️ A solver for programs with XOR constraints.
Last synced: 01 Apr 2026
https://github.com/potassco/clingo-lpx
🧮 A simplistic simplex solver for checking satisfiability of a set of equations.
Last synced: 21 Oct 2025
https://github.com/potassco/configuration-encoding
🧩 An encoding for solving configuration problems with ASP
Last synced: 01 Apr 2026
https://github.com/potassco/libpotassco
🧱 A utility library used by various potassco projects
Last synced: 01 Apr 2026
https://github.com/potassco/benchmark-tool
🏎️ tool for benchmarking solvers
Last synced: 13 Apr 2026
https://github.com/potassco/flingo
Solver for ASP plus conditional linear constraints with founded variables
Last synced: 01 Apr 2026
https://github.com/potassco/coom-suite
🛠️ Python package to parse and solve product configuration problems specified in COOM using ASP
Last synced: 01 Apr 2026
https://github.com/potassco/anthem
A translator between answer set programs and first-order logic
asp first-order-logic theorem-proving verification
Last synced: 09 May 2025
https://github.com/potassco/constraint-handler
Handle acyclic constraints over variables with large/infinite domains
Last synced: 06 May 2026
https://github.com/potassco/fzn2lp
🥞 A converter from FlatZinc into an ASP fact format
Last synced: 01 Apr 2026
https://github.com/potassco/asplain
💬 Tool for contrastive explanations in ASP using abduction
Last synced: 06 May 2026
https://github.com/potassco/clingo-sys
Raw Rust FFI bindings to the C API of clingo library
Last synced: 09 Apr 2026
https://github.com/potassco/guess_and_check
Guess and Check Answer Set Programming
Last synced: 01 Apr 2026
https://github.com/potassco/benchmark-collection
Gathering benchmark descriptions
Last synced: 01 Apr 2026
https://github.com/potassco/anthem-counterexample
A tool to automatically find counterexamples to external equivalence problems.
Last synced: 01 Apr 2026
https://github.com/potassco/flaspland-toolkit
🛤️ A toolkit that provides support for ASP solutions in Flatland.
Last synced: 18 Jun 2026
https://github.com/potassco/meta-tools
Tools for meta programming that extend the reification
Last synced: 01 Apr 2026
https://github.com/potassco/anthem-cx
A tool to automatically find counterexamples to external equivalence problems.
Last synced: 18 Jun 2026