amosr/limp-cbc
Coin-OR/CBC bindings for Haskell
talks
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Coin-OR/CBC bindings for Haskell
The Disciplined Disciple Compiler
ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
Coq proofs of validity of ILP clustering algorithm