pypi.org "answer-set-programming" keyword
elenctic 1.0.0
Contracts and queries for answer set programs: a library first, a command line second1 version - Latest release: 4 days ago - 2 stars on GitHub - 1 maintainer
clingo-funasp 6.0.0.post16
Python bindings to the clingo solver.4 versions - Latest release: 4 months ago - 118 downloads last month - 858 stars on GitHub - 1 maintainer
Top 2.5% on pypi.org
12 versions - Latest release: 7 days ago - 37 dependent packages - 111 dependent repositories - 128 thousand downloads last month - 858 stars on GitHub - 1 maintainer
clingo 5.8.3
CFFI-based bindings to the clingo solver.12 versions - Latest release: 7 days ago - 37 dependent packages - 111 dependent repositories - 128 thousand downloads last month - 858 stars on GitHub - 1 maintainer
xclingo 2.0b24
Tool for explaining Answer Set Programs.17 versions - Latest release: 6 months ago - 1 dependent repositories - 338 downloads last month - 17 stars on GitHub - 1 maintainer
miscoto 3.2.0
Microbiome Screening and COmmunity selection using TOpology30 versions - Latest release: over 2 years ago - 1 dependent package - 2 dependent repositories - 129 downloads last month - 9 stars on GitHub - 2 maintainers
iclingo 0.1.7
🔴🟢🔵 clingo kernel for Jupyter8 versions - Latest release: over 4 years ago - 1 dependent repositories - 23 downloads last month - 7 stars on GitHub - 1 maintainer
selang 0.1.1
Python, ASP and JSON abstractions of the SpaceEngine modding language3 versions - Latest release: over 8 years ago - 1 dependent repositories - 42 downloads last month - 8 stars on GitHub - 1 maintainer
pytest-asptest 0.1.0
test Answer Set Programming programs1 version - Latest release: over 8 years ago - 1 dependent repositories - 10 downloads last month - 2 stars on GitHub - 1 maintainer
powergrasp 0.8.18
compress graphs with answer-set-programming49 versions - Latest release: almost 8 years ago - 1 dependent repositories - 209 downloads last month - 12 stars on GitHub - 1 maintainer
phasme 0.0.16
CLI endpoint to handle (ASP encoded) graphs7 versions - Latest release: about 7 years ago - 1 dependent repositories - 160 downloads last month - 4 stars on GitHub - 1 maintainer
graph-asp 0.0.9
CLI endpoint to handle (ASP encoded) graphs8 versions - Latest release: over 8 years ago - 1 dependent repositories - 59 downloads last month - 4 stars on GitHub - 1 maintainer
Top 10.0% on pypi.org
19 versions - Latest release: 2 months ago - 1 dependent package - 2 dependent repositories - 240 downloads last month - 17 stars on GitHub - 1 maintainer
bonesis 0.7.1
Synthesis of Most Permissive Boolean Networks19 versions - Latest release: 2 months ago - 1 dependent package - 2 dependent repositories - 240 downloads last month - 17 stars on GitHub - 1 maintainer
Top 9.3% on pypi.org
68 versions - Latest release: 3 months ago - 2 dependent packages - 17 dependent repositories - 1.03 thousand downloads last month - 37 stars on GitHub - 1 maintainer
clyngor 1.0.0
Python wrapper around Clingo/Answer Set Programming68 versions - Latest release: 3 months ago - 2 dependent packages - 17 dependent repositories - 1.03 thousand downloads last month - 37 stars on GitHub - 1 maintainer
typedlogic 0.2.4
typedlogic10 versions - Latest release: 2 months ago - 63 downloads last month - 27 stars on GitHub - 1 maintainer
tiny-datalog 0.7.0
A Datalog engine whose core you can read in an afternoon, and a course built on it9 versions - Latest release: 11 days ago - 674 downloads last month - 1 stars on GitHub - 1 maintainer
xhail 0.1.6
XHAIL: eXtended Hybrid Abductive Inductive Learning — a symbolic ILP system built on Answer Set P...6 versions - Latest release: 5 months ago - 43 downloads last month - 0 stars on GitHub - 1 maintainer
xhail2 1.0.0
Python port of XHAIL — eXtended Hybrid Abductive Inductive Learning1 version - Latest release: 5 months ago - 27 downloads last month - 0 stars on GitHub - 1 maintainer
explaidllm 0.1.5
CLI tool for debugging clingo using a combination of MUS and LLMs4 versions - Latest release: 10 months ago - 21 downloads last month - 0 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: about 1 year ago - 60 downloads last month - 1 maintainer
pathmodel 0.2.1
Ab initio pathway inference19 versions - Latest release: over 5 years ago - 1 dependent repositories - 129 downloads last month - 6 stars on GitHub - 2 maintainers
pyresin 0.1.0
A reactive, probabilistic logic programming language using Reactive Circuits.14 versions - Latest release: about 1 month ago - 1.35 thousand downloads last month - 2 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: about 1 year ago - 92 downloads last month - 5 stars on GitHub - 1 maintainer
biobalm 0.4.3
Boolean Attractor Landscape Mapper9 versions - Latest release: over 1 year ago - 109 downloads last month - 6 stars on GitHub - 1 maintainer
cnl2asp 1.3.14
A tool for converting a Controlled Natural Language based on English into Answer Set Programming15 versions - Latest release: over 1 year ago - 18 downloads last month - 13 stars on GitHub - 2 maintainers
aspalchemy 1.9.0
A Python ORM interface for building and solving clingo ASP programs20 versions - Latest release: 3 months ago - 0 stars on GitHub - 1 maintainer
json-logic-asp 0.3.2
Python JSON Logic evaluator in ASP9 versions - Latest release: almost 3 years ago - 74 downloads last month - 2 stars on GitHub - 1 maintainer
pasp-plp 0.0.5
Probabilistic Answer Set Programming17 versions - Latest release: over 2 years ago - 79 downloads last month - 30 stars on GitHub - 1 maintainer
Related Keywords
python
10
clingo
9
logic-programming
8
asp
5
answer set programming
4
logic programming
4
Answer Set Programming
4
logic
3
python-library
3
graph
3
machine-learning
2
ilp
2
graph-theory
2
probabilistic-programming
2
boolean-networks
2
declarative-programming
2
ASP
2
inductive-logic-programming
2
solver
2
constraint solving
2
systems-biology
2
description-logic
2
datalog
2
feedback-vertex-set
1
network-science
1
petri-nets
1
discrete-dynamics
1
control-theory
1
biology
1
attractors
1
symbolic-solver
1
reasoning
1
mcp
1
streaming
1
rus
1
real-time
1
reactive-programming
1
probabilistic-inference
1
neurosymbolic
1
model-counting
1
knowledge-compilation
1
inference
1
reactive circuits
1
probabilistic logic programming
1
pytest-plugin
1
ipykernel
1
jupyter
1
kernel
1
controlled-natural-language
1
python-cli
1
deontic-logics
1
deontic-logic
1
deontic
1
Telingo
1
Xclingo
1
Clingo
1
Deontic Reasoning
1
SDL
1
Deontic Logic
1
NMR
1
synthesis
1
model synthesis
1
boolean networks
1
computational systems biology
1
space-engine
1
modding-tools
1
modding
1
language
1
json
1
DSL
1
SpaceEngine
1
waddington-landscape
1
graph-compression
1
python3
1
wrapper
1
metabolic-pathway-drift
1
biochemical-reactions
1
symbiont
1
microbiome
1
bioinformatics
1
Potassco
1
SAT
1
AI
1
artificial intelligence
1
probabilistic-logic-programming
1
neurosymbolic-ai
1
credal-sets
1
explainability
1
debugging-tool
1
symbolic-ai
1
declarative programming
1
combinatorial optimization
1
orm
1
potassco
1
mus
1
llm
1
debugging
1
json-logic
1
tutorial
1
deductive-database
1