Updating: adding doc for libats-hwxi/cstream
Updating: miscellaneous
Updating: adding libats/ATS1/funheap_binomial
Updating: adding libats/ATS1/funmset_listord
Updating: improving libats/ATS1
Updating: improving libats/ATS1/funmset_listord
Updating: for the release of ATS2-0.0.5
started workign on linset_union (listord)
further work on list_union
removed typo
Upating: fixing versioning glitch
Merge remote-tracking branch 'upstream/master'
started working on adding gurobi interface
Updating: LGPLv2.1 -> GPLv3
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
Updating: LGPLv2.1 -> GPLv3
Merge remote-tracking branch 'upstream/master'
Updating: very minorly tidying-up