Answer Set Programming Python Packages

clingo

🦉 A grounder and solver for logic programs.

123K 785 97

clyngor

Handy python wrapper around Potassco's Clingo ASP solver.

3K 37 7

miscoto

Microbiome Screening and COmmunity selection using TOpology

2K 9 0

xclingo

A tool for explainability and debugging in Answer Set Programming.

2K 15 5

pathmodel

Ab initio pathway inference

1K 5 1

bonesis

Synthesis of Most Permissive Boolean Networks

913 16 3

cnl2asp

A tool for converting a Controlled Natural Language based on English into Answer Set Programming

666 10 1

clingo-funasp

🦉 A grounder and solver for logic programs.

620 785 97

powergrasp

Compress graphs

595 12 1

explaidllm

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

459 0 1

deolingo

Deontic logic solver in ASP with Clingo

258 4 0

phasme

(ASP) graph handling made easy

245 4 1

json-logic-asp

Evaluate JSON Logic rules in Python using ASP with Clingo

235 2 0

iclingo

🔴🟢🔵 clingo kernel for Jupyter

230 7 1

pasp-plp

Differentiable probabilistic answer set programming

166 29 6

selang

Python, ASP and JSON abstractions of the SpaceEngine modding language

75 8 0

pytest-asptest

pytest plugin to test ASP code

32 2 0