Undo scheduler attempt

Author: pavpanchekha

egg-herbie/Cargo.toml

@@ -5,7 +5,8 @@ authors = [ "Oliver Flatt <[email protected]>", "Max Willsey <[email protected]>" ]
 edition = "2021"
 
 [dependencies]
-egg = { git = "https://github.com/egraphs-good/egg.git", rev = "c11d03db646aca5f55df2632927eec958e1f4d4d" }
+egg = { git = "https://github.com/paulzzy/egg.git", branch = "push-uslmvkxmnqwq" }
+
 
 log = "0.4"
 indexmap = "1"

egg-herbie/src/lib.rs

@@ -25,7 +25,7 @@ pub struct Context {
 pub unsafe extern "C" fn egraph_create() -> *mut Context {
     Box::into_raw(Box::new(Context {
         iteration: 0,
-        runner: Runner::new(Default::default()).with_explanations_enabled(),
+        runner: Runner::new(Default::default()).with_explanations_enabled().with_scheduler(UndoScheduler::default()),
         rules: vec![],
     }))
 }