pypi.org "constraint solving" keyword
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
slothy 1.0.0
SLOTHY: Assembly superoptimization via constraint solving25 versions - Latest release: over 2 years ago - 1 dependent repositories - 47 downloads last month - 354 stars on GitHub - 2 maintainers
compwa-python-constraint 1.4.0.post1
Support for handling constraint-solving problems over finite domains1 version - Latest release: 3 months ago - 103 downloads last month - 0 stars on GitHub - 1 maintainer
constraintflow 0.1.1
A DSL and tools for neural network certification1 version - Latest release: about 1 year ago - 32 downloads last month - 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
Related Keywords
answer set programming
2
clingo
2
logic programming
2
solver
2
answer-set-programming
2
CSP
1
problem solver
1
dsl
1
neural networks
1
certification
1
superoptimization
1
assembly
1
cryptography
1
optimization
1
ortools
1
assembly-language
1
constraint-programming
1
cryptography-tools
1
post-quantum-cryptography
1
logic-programming
1
declarative-programming
1
Potassco
1
SAT
1
ASP
1
AI
1
artificial intelligence
1
python
1
declarative programming
1
combinatorial optimization
1
orm
1
potassco
1
asp
1