pypi.org "answer-set-programming" keyword
View the packages on the pypi.org package registry that are tagged with the "answer-set-programming" keyword.
cnl2asp 1.3.14
A tool for converting a Controlled Natural Language based on English into Answer Set Programming15 versions - Latest release: 6 months ago - 366 downloads last month - 8 stars on GitHub - 2 maintainers
pasp-plp 0.0.5
Probabilistic Answer Set Programming17 versions - Latest release: over 1 year ago - 42 downloads last month - 25 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: 3 months ago - 31 downloads last month - 1 maintainer
xclingo 2.0b19
Tool for explaining and debugging Answer Set Programs.14 versions - Latest release: about 1 year ago - 1 dependent repositories - 87 downloads last month - 15 stars on GitHub - 1 maintainer
Top 2.5% on pypi.org
9 versions - Latest release: 8 months ago - 37 dependent packages - 111 dependent repositories - 70.7 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: 8 months ago - 37 dependent packages - 111 dependent repositories - 70.7 thousand downloads last month - 703 stars on GitHub - 1 maintainer
graph-asp 0.0.9
CLI endpoint to handle (ASP encoded) graphs8 versions - Latest release: over 7 years ago - 1 dependent repositories - 55 downloads last month - 4 stars on GitHub - 1 maintainer
iclingo 0.1.7
🔴🟢🔵 clingo kernel for Jupyter8 versions - Latest release: over 3 years ago - 1 dependent repositories - 38 downloads last month - 6 stars on GitHub - 1 maintainer
pytest-asptest 0.1.0
test Answer Set Programming programs1 version - Latest release: over 7 years ago - 1 dependent repositories - 12 downloads last month - 2 stars on GitHub - 1 maintainer
selang 0.1.1
Python, ASP and JSON abstractions of the SpaceEngine modding language3 versions - Latest release: over 7 years ago - 1 dependent repositories - 20 downloads last month - 8 stars on GitHub - 1 maintainer
powergrasp 0.8.18
compress graphs with answer-set-programming49 versions - Latest release: almost 7 years ago - 1 dependent repositories - 295 downloads last month - 12 stars on GitHub - 1 maintainer
miscoto 3.2.0
Microbiome Screening and COmmunity selection using TOpology30 versions - Latest release: over 1 year ago - 1 dependent package - 2 dependent repositories - 188 downloads last month - 9 stars on GitHub - 2 maintainers
json-logic-asp 0.3.2 💰
Python JSON Logic evaluator in ASP9 versions - Latest release: almost 2 years ago - 33 downloads last month - 2 stars on GitHub - 1 maintainer
Top 9.3% on pypi.org
64 versions - Latest release: over 2 years ago - 2 dependent packages - 17 dependent repositories - 2.62 thousand downloads last month - 34 stars on GitHub - 1 maintainer
clyngor 0.4.3
Python wrapper around Clingo/Answer Set Programming64 versions - Latest release: over 2 years ago - 2 dependent packages - 17 dependent repositories - 2.62 thousand downloads last month - 34 stars on GitHub - 1 maintainer
explaidllm 0.1.4
CLI tool for debugging clingo using a combination of MUS and LLMs3 versions - Latest release: about 2 months ago - 245 downloads last month - 0 stars on GitHub - 1 maintainer
pathmodel 0.2.1
Ab initio pathway inference19 versions - Latest release: over 4 years ago - 1 dependent repositories - 12 downloads last month - 5 stars on GitHub - 2 maintainers
phasme 0.0.16
CLI endpoint to handle (ASP encoded) graphs7 versions - Latest release: about 6 years ago - 1 dependent repositories - 49 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: 29 days ago - 142 downloads last month - 2 stars on GitHub - 1 maintainer
biobalm 0.4.3
Boolean Attractor Landscape Mapper9 versions - Latest release: 4 months ago - 85 downloads last month - 3 stars on GitHub - 1 maintainer
Related Keywords
python
6
clingo
5
logic-programming
4
Answer Set Programming
4
python-library
3
graph
3
graph-theory
2
Clingo
1
Deontic Reasoning
1
SDL
1
Deontic Logic
1
NMR
1
ASP
1
metabolic-pathway-drift
1
biochemical-reactions
1
mus
1
llm
1
debugging
1
python3
1
wrapper
1
json-logic
1
Xclingo
1
Telingo
1
deontic
1
deontic-logic
1
deontic-logics
1
python-cli
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
controlled-natural-language
1
credal-sets
1
neurosymbolic-ai
1
probabilistic-logic-programming
1
probabilistic-programming
1
asp
1
logic
1
mcp
1
reasoning
1
symbolic-solver
1
logic programming
1
answer set programming
1
debugging-tool
1
explainability
1
declarative-programming
1
kernel
1
jupyter
1
ipykernel
1
pytest-plugin
1
SpaceEngine
1
DSL
1
json
1
language
1
modding
1
modding-tools
1
space-engine
1
graph-compression
1
bioinformatics
1
microbiome
1
symbiont
1