Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
WIP: Feature MOI #51
@@ Coverage Diff @@ ## master #51 +/- ## ========================================= Coverage ? 98.56% ========================================= Files ? 19 Lines ? 1393 Branches ? 0 ========================================= Hits ? 1373 Misses ? 20 Partials ? 0
Benchmarks are a bit different because JuMP uses a different variable ordering which changes the hashes of the constraints and therefore the ordering they are called.