hackage.haskell.org "theorem-prover" keyword
toysolver 0.10.0
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...17 versions - Latest release: 4 months ago - 2 dependent repositories - 16.8 thousand downloads total - 159 stars on GitHub - 1 maintainer
PropaFP 0.1.2.0
Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme3 versions - Latest release: over 3 years ago - 2 dependent packages - 2 dependent repositories - 360 downloads total - 8 stars on GitHub - 1 maintainer
LPPaver 0.0.5.0
Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme2 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 222 downloads total - 5 stars on GitHub - 1 maintainer
Related Keywords
Propose Tags
3
theorem-provers
3
program
3
library
3
formal-methods
3
mathematics
2
maths
2
mpl
2
math
2
haskell
2
formal-verification
1
floating-point-arithmetic
1
floating-point
1
smt-solver
1
sat-solver
1
mathematical-programming
1
smt
1
optimization
1
optimisation
1
logic
1
constraints
1
bsd3
1
algorithms
1
theorem-proving
1
automatic-theorem-proving
1
verification
1