Fast restore#413

Open

guykatzz wants to merge 2 commits intoNeuralNetworkVerification:masterfrom

vbCrLf:fast_restore

Commits on Dec 17, 2020

Fast restore
vbCrLf
committed

Commits on Dec 20, 2020

another small optimization
vbCrLf
committed