Copyright | (c) Masahiro Sakai 2016 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Extensions |
|
ToySolver.Converter.MIP2PB
Description
Documentation
data MIP2PBInfo Source #
Constructors
MIP2PBInfo (Map Var Expr) !Integer |