Integration of the Glis global optimizer#44

Open

nickovic wants to merge 6 commits intoBerkeleyLearnVerify:mainfrom

Commits on Feb 26, 2023

Added the GLIS sampler class.
nickovic
committed

Commits on Mar 8, 2023

Commits on Mar 9, 2023

Finalized GLIS integration and tests, with also Scenic integration
nickovic
committed

Commits on May 18, 2023

Corrected the update when the sample is rejected
nickovic
committed