pypi.org "clingo" keyword
asp-studio 0.2.7
Answer sets, a graph and a step-by-step animator for Answer Set Programming, in Jupyter, VS Code ...7 versions - Latest release: 2 days ago - 0 downloads last month - 0 stars on GitHub - 1 maintainer
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
xstate 0.0.1
XState for Python1 version - Latest release: almost 6 years ago - 1 dependent repositories - 123 downloads last month - 189 stars on GitHub - 1 maintainer
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
predator 0.0.4
Optimizable seed extraction from metabolic networks4 versions - Latest release: over 7 years ago - 1 dependent repositories - 102 downloads last month - 3 stars on GitHub - 1 maintainer
ppas 0.1.0
PostProcess Answer Sets1 version - Latest release: about 11 years ago - 2 dependent repositories - 6 downloads last month - 0 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
clyngor-with-clingo 5.8.0
Installation of clingo binary along clyngor6 versions - Latest release: 3 months ago - 3 dependent packages - 7 dependent repositories - 698 downloads last month - 5 stars on GitHub - 1 maintainer
biseau 0.0.20
Draw graphs using Answer Set Programming20 versions - Latest release: about 6 years ago - 1 dependent repositories - 193 downloads last month - 0 stars on gitlab.inria.fr - 1 maintainer
biseau-gui 0.0.6
A graphical interface for biseau6 versions - Latest release: about 7 years ago - 1 dependent repositories - 40 downloads last month - 0 stars on gitlab.inria.fr - 1 maintainer
typedlogic 0.2.4
typedlogic10 versions - Latest release: 2 months ago - 63 downloads last month - 27 stars on GitHub - 1 maintainer
asp-format 0.1.1
A formatter for Answer Set Programming (ASP) programs2 versions - Latest release: 19 days ago - 0 downloads last month - 1 maintainer
tree-sitter-metasp 1.0.5
Metasp grammar for tree-sitter1 version - Latest release: 9 months ago - 39 downloads last month - 1 stars on GitHub - 1 maintainer
savanty 0.2.1
An intelligent optimization problem solver using LLMs and Answer Set Programming1 version - Latest release: about 1 year ago - 7 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: about 1 year ago - 60 downloads last month - 1 maintainer
seed2lp 2.1.2
Seed searching from network as SBML using Logic programming5 versions - Latest release: about 1 month ago - 173 downloads last month - 6 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
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
tree-sitter-clingo 1.0.6
Clingo grammar for tree-sitter7 versions - Latest release: about 2 months ago - 803 downloads last month - 15 stars on GitHub - 1 maintainer
Related Keywords
answer-set-programming
9
asp
7
Answer Set Programming
7
wrapper
7
answer set programming
5
python
5
logic-programming
3
solver
3
python-library
2
logic
2
ASP
2
jupyter
2
tree-sitter
2
parsing
2
incremental
2
potassco
2
constraint solving
2
logic programming
2
operations-research
1
natural-language
1
decision-engine
1
constraint-solver
1
json-logic
1
artificial-intelligence
1
ai
1
clorm
1
llm
1
optimization
1
mcp
1
reasoning
1
symbolic-solver
1
pypi
1
skelf-research
1
NMR
1
Deontic Logic
1
SDL
1
Deontic Reasoning
1
Clingo
1
Xclingo
1
Telingo
1
deontic
1
deontic-logic
1
deontic-logics
1
python-cli
1
kernel
1
ipykernel
1
orm
1
combinatorial optimization
1
declarative programming
1
gui
1
metasp
1
artificial intelligence
1
AI
1
SAT
1
Potassco
1
declarative-programming
1
formatter
1
lint
1
python3
1
postprocess
1
clif
1
common-logic
1
datalog
1
description-logic
1
linkml
1
owl-dl
1
prolog
1
souffle
1
theorem-provers
1
z3
1
visualization
1
clingcon
1
knowledge-representation
1
testing
1