hackage.haskell.org "mathematical-programming" keyword
MIP-glpk 0.2.0.1
Please see the README on GitHub at https://github.com/msakai/haskell-MIP/tree/master/MIP-glpk#readme3 versions - Latest release: 5 months ago - 327 downloads total - 7 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#readme5 versions - Latest release: 5 months ago - 2 dependent repositories - 1.29 thousand downloads total - 7 stars on GitHub - 1 maintainer
toysolver 0.9.0
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...16 versions - Latest release: over 1 year ago - 2 dependent repositories - 16.3 thousand downloads total - 158 stars on GitHub - 1 maintainer