@hackage / MIP

Library for using Mixed Integer Programming (MIP)

0.2.0.1

Dependents

@hackage / MIP-glpk A GLPK backend to the MIP library.
- Version: 0.2.0.1
- Last uploaded: 5 months ago
- License: GPL-3.0-only
@hackage / toysolver Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
- Version: 0.9.0
- Last uploaded: about 1 year ago
- License: BSD-3-Clause