githwxi/ATS-Postiats — pull request #47 by bbarker (2014-01-17 04:05:30+00:00)
Title: gurobi.hats added; choose and union added to linset_listord, and tests added for union

gurobi.hats should be fairly complete.