PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
potassco
clingo

🦉 A grounder and solver for logic programs.

124K 779 96
cfrioux
miscoto

Python package for large-scale community selection in microbiota

2K 9 0
aluriak
clyngor

Handy python wrapper around Potassco's Clingo ASP solver.

2K 37 7
bramucas
xclingo

A tool for explainability and debugging in Answer Set Programming.

1K 15 5
aluriak
powergrasp

Compress graphs

1K 12 1
bnediction
bonesis

Synthesis and Reprogramming of Most Permissive Boolean Networks

722 16 3
pathmodel
pathmodel

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

641 5 1
potassco
clingo-funasp

🦉 A grounder and solver for logic programs.

516 779 96
dodaro
cnl2asp

A tool for converting CNL sentences to ASP rules.

498 10 1
barreeeiroo
json-logic-asp

Evaluate JSON Logic rules in Python using ASP with Clingo

386 2 0
thesofakillers
iclingo

🔴🟢🔵 clingo kernel for Jupyter

355 7 1
aluriak
phasme

CLI endpoint to handle (ASP encoded) graphs

352 4 1
RenatoGeh
pasp-plp

Differentiable probabilistic answer set programming

295 30 6
hweichelt
explaidllm

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

255 0 1
ovidiomanteiga
deolingo

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

206 4 0
aluriak
selang

A programmable language for SpaceEngine addons

75 8 0
aluriak
pytest-asptest

test Answer Set Programming programs

36 2 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery