Upgrade scikit learn 0.23.2 - #6

Open

jeremysalwen wants to merge 2 commits into

eth-sri:masterfrom

jeremysalwen:upgrade-scikit-learn-0.23.2

Commits on Sep 28, 2020

Upgrade goal_runner to work with z3 version 4.8.7
maciej-bendkowski
committed
1608cf8

Commits on Nov 27, 2020

Upgrade to be compatible with python 3.8.
jeremysalwen
committed
675939b