pypi.org "answer-set-programming" keyword
json-logic-asp 0.3.2 💰
Python JSON Logic evaluator in ASP9 versions - Latest release: about 2 years ago - 60 downloads last month - 2 stars on GitHub - 1 maintainer
logic-lm-mcp-server 1.0.1
A Model Context Protocol server that provides symbolic reasoning capabilities using Logic-LM fram...3 versions - Latest release: 6 months ago - 90 downloads last month - 1 maintainer
phasme 0.0.16
CLI endpoint to handle (ASP encoded) graphs7 versions - Latest release: over 6 years ago - 1 dependent repositories - 113 downloads last month - 4 stars on GitHub - 1 maintainer
Top 2.5% on pypi.org
9 versions - Latest release: 11 months ago - 37 dependent packages - 111 dependent repositories - 78.9 thousand downloads last month - 703 stars on GitHub - 1 maintainer
clingo 5.8.0
CFFI-based bindings to the clingo solver.9 versions - Latest release: 11 months ago - 37 dependent packages - 111 dependent repositories - 78.9 thousand downloads last month - 703 stars on GitHub - 1 maintainer
powergrasp 0.8.18
compress graphs with answer-set-programming49 versions - Latest release: about 7 years ago - 1 dependent repositories - 120 downloads last month - 12 stars on GitHub - 1 maintainer
biobalm 0.4.3
Boolean Attractor Landscape Mapper9 versions - Latest release: 8 months ago - 85 downloads last month - 3 stars on GitHub - 1 maintainer
iclingo 0.1.7
🔴🟢🔵 clingo kernel for Jupyter8 versions - Latest release: about 4 years ago - 1 dependent repositories - 25 downloads last month - 6 stars on GitHub - 1 maintainer
miscoto 3.2.0
Microbiome Screening and COmmunity selection using TOpology30 versions - Latest release: about 2 years ago - 1 dependent package - 2 dependent repositories - 277 downloads last month - 9 stars on GitHub - 2 maintainers
cnl2asp 1.3.14
A tool for converting a Controlled Natural Language based on English into Answer Set Programming15 versions - Latest release: 10 months ago - 148 downloads last month - 8 stars on GitHub - 2 maintainers
Top 9.3% on pypi.org
66 versions - Latest release: 25 days ago - 2 dependent packages - 17 dependent repositories - 5.52 thousand downloads last month - 34 stars on GitHub - 1 maintainer
clyngor 0.5.1
Python wrapper around Clingo/Answer Set Programming66 versions - Latest release: 25 days ago - 2 dependent packages - 17 dependent repositories - 5.52 thousand downloads last month - 34 stars on GitHub - 1 maintainer
pasp-plp 0.0.5
Probabilistic Answer Set Programming17 versions - Latest release: over 1 year ago - 175 downloads last month - 25 stars on GitHub - 1 maintainer
explaidllm 0.1.5
CLI tool for debugging clingo using a combination of MUS and LLMs4 versions - Latest release: about 1 month ago - 30 downloads last month - 0 stars on GitHub - 1 maintainer
graph-asp 0.0.9
CLI endpoint to handle (ASP encoded) graphs8 versions - Latest release: almost 8 years ago - 1 dependent repositories - 48 downloads last month - 4 stars on GitHub - 1 maintainer
deolingo 1.0.3
A deontic logic solver for explainable deontic reasoning with Answer Set Programming (ASP).4 versions - Latest release: 5 months ago - 31 downloads last month - 3 stars on GitHub - 1 maintainer
pytest-asptest 0.1.0
test Answer Set Programming programs1 version - Latest release: almost 8 years ago - 1 dependent repositories - 9 downloads last month - 2 stars on GitHub - 1 maintainer
pathmodel 0.2.1
Ab initio pathway inference19 versions - Latest release: almost 5 years ago - 1 dependent repositories - 60 downloads last month - 5 stars on GitHub - 2 maintainers
xclingo 2.0b19
Tool for explaining and debugging Answer Set Programs.14 versions - Latest release: over 1 year ago - 1 dependent repositories - 260 downloads last month - 15 stars on GitHub - 1 maintainer
selang 0.1.1
Python, ASP and JSON abstractions of the SpaceEngine modding language3 versions - Latest release: almost 8 years ago - 1 dependent repositories - 15 downloads last month - 8 stars on GitHub - 1 maintainer
Related Keywords
python
6
clingo
5
Answer Set Programming
4
logic-programming
4
graph
3
python-library
3
graph-theory
2
deontic-logics
1
deontic-logic
1
deontic
1
Telingo
1
Xclingo
1
Clingo
1
Deontic Reasoning
1
SDL
1
Deontic Logic
1
NMR
1
ASP
1
mus
1
llm
1
debugging
1
probabilistic-programming
1
python-cli
1
pytest-plugin
1
biochemical-reactions
1
metabolic-pathway-drift
1
logic programming
1
answer set programming
1
debugging-tool
1
explainability
1
SpaceEngine
1
DSL
1
json
1
language
1
modding
1
modding-tools
1
space-engine
1
json-logic
1
asp
1
logic
1
mcp
1
reasoning
1
symbolic-solver
1
declarative-programming
1
graph-compression
1
attractors
1
biology
1
boolean-networks
1
control-theory
1
discrete-dynamics
1
feedback-vertex-set
1
network-science
1
petri-nets
1
systems-biology
1
waddington-landscape
1
kernel
1
jupyter
1
ipykernel
1
bioinformatics
1
microbiome
1
symbiont
1
controlled-natural-language
1
wrapper
1
python3
1
credal-sets
1
neurosymbolic-ai
1
probabilistic-logic-programming
1