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 "mathematical-programming" keyword

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

toysolver 0.9.0
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...
16 versions - Latest release: 12 months ago - 2 dependent repositories - 16 thousand downloads total - 158 stars on GitHub - 1 maintainer
MIP 0.2.0.1
Please see the README on GitHub at https://github.com/msakai/haskell-MIP/tree/master/MIP#readme
5 versions - Latest release: about 1 month ago - 2 dependent repositories - 1.25 thousand downloads total - 6 stars on GitHub - 1 maintainer
MIP-glpk 0.2.0.1
Please see the README on GitHub at https://github.com/msakai/haskell-MIP/tree/master/MIP-glpk#readme
3 versions - Latest release: about 1 month ago - 294 downloads total - 6 stars on GitHub - 1 maintainer
Related Keywords
algorithms 3 library 3 optimisation 3 optimization 3 Propose Tags 3 bsd3 2 mixed-integer-programming 2 mathematical-optimization 2 haskell 2 math 2 gpl 1 theorem-prover 1 smt-solver 1 sat-solver 1 theorem-provers 1 smt 1 program 1 logic 1 formal-methods 1 constraints 1