Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "smt-solver" keyword

View the packages on the hackage.haskell.org package registry that are tagged with the "smt-solver" keyword.

toysolver 0.9.0
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...
16 versions - Latest release: 5 months ago - 2 dependent repositories - 15.7 thousand downloads total - 157 stars on GitHub - 1 maintainer
Related Keywords
algorithms 1 bsd3 1 constraints 1 formal-methods 1 library 1 logic 1 optimisation 1 optimization 1 program 1 smt 1 theorem-provers 1 Propose Tags 1 mathematical-programming 1 sat-solver 1 theorem-prover 1