Handy python wrapper around Potassco's Clingo ASP solver.
-
Updated
May 18, 2023 - Python
#
answer-set-programming
Here are 76 public repositories matching this topic...
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
language computer-science education algorithm programming algorithms logic constraint-satisfaction-problem oer np-hard np-complete software-engineering constraint-programming logic-programming clingo answer-set-programming open-educational-resource aspa stable-models asp-for-all
-
Updated
Jun 30, 2025 - Python
Logic plus python types
python logic prolog datalog z3 common-logic clingo answer-set-programming owl-dl souffle clif description-logic theorem-provers linkml
-
Updated
Jul 25, 2025 - Python
A tool for explainability and debugging in Answer Set Programming.
-
Updated
Mar 25, 2025 - Python
Synthesis and Reprogramming of Most Permissive Boolean Networks
-
Updated
Aug 27, 2025 - Python
Compress graphs
-
Updated
Jan 6, 2020 - Python
Python package for large-scale community selection in microbiota
-
Updated
Feb 29, 2024 - Python
A tool for converting CNL sentences to ASP rules.
-
Updated
Jul 31, 2025 - Python
Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP)
-
Updated
Mar 25, 2023 - Python
A programmable language for SpaceEngine addons
-
Updated
May 3, 2018 - Python
Personal learning repository for Answer Set Programming
-
Updated
Sep 24, 2018 - Python
🔴🟢🔵 clingo kernel for Jupyter
-
Updated
Aug 30, 2024 - Python
📆 ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)
-
Updated
Apr 20, 2018 - Python
Comparison and testing of multiple concept generation method using ASP
-
Updated
Jun 21, 2022 - Python
a system for analyzing and repairing arguments
-
Updated
Sep 13, 2025 - Python
Prototype to infer new biochemical reactions and new metabolite structures to investigate metabolic pathway drift.
-
Updated
Jun 29, 2022 - Python
Implementation of Artificial Intelligence for Bomber Man Game.
game python game-development python3 pygame asp bomberman pygame-application bomberman-game answer-set-programming dlv pygame-games bomberman-ai
-
Updated
Feb 23, 2022 - Python
(ASP) graph handling made easy
-
Updated
Nov 8, 2019 - Python
A collection of the ongoing research project into the Flatland competition.
-
Updated
Jul 24, 2025 - Python
Graph compression with FCA and ASP. New versions at:
-
Updated
Apr 3, 2018 - Python
Improve this page
Add a description, image, and links to the answer-set-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the answer-set-programming topic, visit your repo's landing page and select "manage topics."