Answer Set Programming Python Packages

clingo

🦉 A grounder and solver for logic programs.

pyresin

Reactive and asynchronous probabilistic logic programming and model counting.

clingo-funasp

🦉 A grounder and solver for logic programs.

clyngor

Handy python wrapper around Potassco's Clingo ASP solver.

miscoto

Python package for large-scale community selection in microbiota

pathmodel

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

bonesis

Synthesis and Reprogramming of Most Permissive Boolean Networks

xclingo

A tool for explainability and debugging in Answer Set Programming.

explaidllm

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

powergrasp

compress graphs with answer-set-programming

cnl2asp

A tool for converting CNL sentences to ASP rules.

xhail2

Python port of XHAIL — eXtended Hybrid Abductive Inductive Learning

deolingo

A deontic logic solver for explainable deontic reasoning with Answer Set Programming (ASP).

json-logic-asp

Evaluate JSON Logic rules in Python using ASP with Clingo

iclingo

🔴🟢🔵 clingo kernel for Jupyter

phasme

(ASP) graph handling made easy

pasp-plp

Probabilistic Answer Set Programming

selang

A programmable language for SpaceEngine addons

pytest-asptest

test Answer Set Programming programs