Search Packages

clingo

🦉 A grounder and solver for logic programs.

miscoto

Python package for large-scale community selection in microbiota

clyngor

Handy python wrapper around Potassco's Clingo ASP solver.

xclingo

A tool for explainability and debugging in Answer Set Programming.

powergrasp

Compress graphs

bonesis

Synthesis and Reprogramming of Most Permissive Boolean Networks

pathmodel

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

clingo-funasp

🦉 A grounder and solver for logic programs.

cnl2asp

A tool for converting CNL sentences to ASP rules.

json-logic-asp

Evaluate JSON Logic rules in Python using ASP with Clingo

iclingo

🔴🟢🔵 clingo kernel for Jupyter

phasme

CLI endpoint to handle (ASP encoded) graphs

pasp-plp

Differentiable probabilistic answer set programming

explaidllm

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

deolingo

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

selang

A programmable language for SpaceEngine addons

pytest-asptest

test Answer Set Programming programs