pypi.org "answer set programming" keyword
View the packages on the pypi.org package registry that are tagged with the "answer set programming" keyword.
crystal-tree 0.2
From large, deep trees to short, clear explanations.9 versions - Latest release: over 3 years ago - 18 downloads last month - 0 stars on GitHub - 1 maintainer
shilver 0.0.1
An outstandingly fast Shingoki solver.1 version - Latest release: over 2 years ago - 10 downloads last month - 0 stars on GitHub - 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
pyspel 1.0.2
Python Specification Language (Pyspel)3 versions - Latest release: over 1 year ago - 1 dependent repositories - 86 downloads last month - 2 stars on GitHub - 1 maintainer
dafact 0.5
Encodes data as ASP facts.4 versions - Latest release: about 2 years ago - 1 dependent repositories - 16 downloads last month - 1 stars on GitHub - 1 maintainer
aspmc 1.1.1
An efficient algebraic model counter.13 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 352 downloads last month - 5 stars on GitHub - 1 maintainer
ppas 0.1.0
PostProcess Answer Sets1 version - Latest release: about 10 years ago - 2 dependent repositories - 7 downloads last month - 0 stars on GitHub - 1 maintainer
Related Keywords
logic programming
3
artificial intelligence
1
explainable artificial intelligencelogic programming
1
puzzles
1
shingoki
1
answer-set-programming
1
debugging-tool
1
explainability
1
logic-programming
1
specification language
1
combinatorial problems
1
probabilistic
1
model counting
1
asp
1
postprocess
1
clingo
1