mixed-integer-linear-programming
Vector based Energy Optimization Framework
Utilities for loading and working with the FormulationBench dataset.
Fast and flexible Rummikub solver library
Official implementation of "FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving"
