pypi.org "answer set programming" 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
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
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
pyspel 1.0.2
Python Specification Language (Pyspel)3 versions - Latest release: over 2 years ago - 1 dependent repositories - 12 downloads last month - 2 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
dafact 0.5
Encodes data as ASP facts.4 versions - Latest release: about 3 years ago - 1 dependent repositories - 68 downloads last month - 1 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
aspmc 1.1.1
An efficient algebraic model counter.13 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 120 downloads last month - 5 stars on GitHub - 1 maintainer
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
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
shilver 0.0.1
An outstandingly fast Shingoki solver.1 version - Latest release: over 3 years ago - 15 downloads last month - 0 stars on GitHub - 1 maintainer
crystal-tree 0.3
From large, deep trees to short, clear explanations.10 versions - Latest release: 6 months ago - 12 downloads last month - 1 stars on GitHub - 1 maintainer
Related Keywords
logic programming
6
clingo
5
asp
4
answer-set-programming
4
logic-programming
3
artificial intelligence
2
potassco
2
python
2
solver
2
constraint solving
2
explainable artificial intelligence
1
specification language
1
combinatorial problems
1
probabilistic logic programming
1
reactive circuits
1
inference
1
knowledge-compilation
1
model-counting
1
neurosymbolic
1
probabilistic-inference
1
probabilistic-programming
1
reactive-programming
1
puzzles
1
real-time
1
rus
1
shingoki
1
streaming
1
orm
1
combinatorial optimization
1
declarative programming
1
debugging-tool
1
explainability
1
probabilistic
1
model counting
1
AI
1
ASP
1
SAT
1
Potassco
1
declarative-programming
1
formatter
1
lint
1
postprocess
1
jupyter
1
visualization
1