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: almost 3 years ago - 64 downloads last month - 0 stars on GitHub - 1 maintainer
aspmc 1.1.1
An efficient algebraic model counter.13 versions - Latest release: about 1 year ago - 1 dependent package - 1 dependent repositories - 443 downloads last month - 5 stars on GitHub - 1 maintainer
shilver 0.0.1
An outstandingly fast Shingoki solver.1 version - Latest release: about 2 years ago - 50 downloads last month - 0 stars on GitHub - 1 maintainer
pyspel 1.0.2
Python Specification Language (Pyspel)3 versions - Latest release: 10 months ago - 1 dependent repositories - 114 downloads last month - 2 stars on GitHub - 1 maintainer
xclingo 2.0b19
Tool for explaining and debugging Answer Set Programs.14 versions - Latest release: 7 months ago - 1 dependent repositories - 384 downloads last month - 13 stars on GitHub - 1 maintainer
dafact 0.5
Encodes data as ASP facts.4 versions - Latest release: over 1 year ago - 1 dependent repositories - 153 downloads last month - 1 stars on GitHub - 1 maintainer
ppas 0.1.0
PostProcess Answer Sets1 version - Latest release: over 9 years ago - 2 dependent repositories - 23 downloads last month - 0 stars on GitHub - 1 maintainer
Related Keywords
logic programming
3
artificial intelligence
1
explainable artificial intelligencelogic programming
1
probabilistic
1
model counting
1
puzzles
1
shingoki
1
specification language
1
combinatorial problems
1
answer-set-programming
1
debugging-tool
1
explainability
1
logic-programming
1
asp
1
postprocess
1
clingo
1