test:MIP-test

Dependencies

• MIP lib:MIP >=0
• base lib:base >=4.7 && <5
• containers lib:containers >=0.5.0
• data-default-class lib:data-default-class >=0
• lattices lib:lattices >=0
• tasty lib:tasty >=0.10.1
• tasty-hunit lib:tasty-hunit >=0.9 && <0.11
• tasty-quickcheck lib:tasty-quickcheck >=0.8 && <0.11
• tasty-th lib:tasty-th >=0

Reverse dependencies

None.