GitHub repository: JuliaPolyhedra/CutPruner.jl
Primary language: Julia
Created: 2017-02-07T21:15:41Z
Description: Modular framework for cut pruning algorithms