Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'upstream/master'
first example attempt half-finished
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
added quite closure
Merge remote-tracking branch 'origin/master'
further work on low-level gurobi interface
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'upstream/master'
minor fixes and comments
minor improvments and notes
Merge remote-tracking branch 'upstream/master'
finished draft gurobi example, but not typechecking
updated to have macros for gurobi.sats -> gurobi.cats
Merge pull request #51 from bbarker/master

"nearly working" gurobi interface
Updating: adding more example in PCPV/EXTERN