started workign on linset_union (listord)
further work on list_union
removed typo
Merge remote-tracking branch 'upstream/master'
started working on adding gurobi interface
Merge remote-tracking branch 'upstream/master'
gurobi: finished adding all functions (and more) needed to run mip_1 example
adding linset_choose to linset_listord
Merge remote-tracking branch 'upstream/master'
removes some undesirable comments
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
Updating: very minor changes
Updating: minor additions
Merge remote-tracking branch 'upstream/master'
Updating: fixing atstype_var being too large on Cygwin
Merge remote-tracking branch 'upstream/master'
Updating: fixing a typo
Merge remote-tracking branch 'upstream/master'