Answer Set Programming Python Packages

clingo

🦉 A grounder and solver for logic programs.

pyresin

Reactive probabilistic logic programming with Reactive Circuits: exact, incremental inference over asynchronous data streams.

clingexplaid

💡 Explaining unsatisfiability in ASP

deolingo

Deontic logic solver in ASP with Clingo

tiny-datalog

Datalog as an executable textbook — one readable engine and supporting lessons.

aspalchemy

A Python ORM wrapper for clingo

clyngor

Handy python wrapper around Potassco's Clingo ASP solver.

miscoto

Python package for large-scale community selection in microbiota

clingo-funasp

🦉 A grounder and solver for logic programs.

bonesis

Synthesis and Reprogramming of Most Permissive Boolean Networks

pgass

A pretty good answer set solver

xclingo

A tool for explainability and debugging in Answer Set Programming.

powergrasp

Compress graphs

cnl2asp

A tool for converting CNL sentences to ASP rules.

explaidllm

CLI tool for debugging clingo using a combination of MUS and LLMs

json-logic-asp

Evaluate JSON Logic rules in Python using ASP with Clingo

phasme

(ASP) graph handling made easy

pathmodel

Prototype to infer new biochemical reactions and new metabolite structures to investigate metabolic pathway drift.

iclingo

🔴🟢🔵 clingo kernel for Jupyter

pasp-plp

Differentiable probabilistic answer set programming

xhail2

Python port of XHAIL — eXtended Hybrid Abductive Inductive Learning

selang

A programmable language for SpaceEngine addons

pytest-asptest

pytest plugin to test ASP code