githwxi/ATS-Postiats — pull request #51 by bbarker (2014-01-25 04:27:17+00:00)
Title: "nearly working" gurobi interface

I've written everything for the example, but still have numerous issues related to typechecking; just wanted to check in before I get too far astray.