WIP: Scip solver#470

Open

danyaljj wants to merge 2 commits intomasterfrom

Commits on Nov 26, 2016

adding the scip solver hook and tests.
khashab2
committed

Commits on May 31, 2017

Merge remote-tracking branch 'origin/scip-solver' into masterMay29
khashab2
committed