add readme

Chronosymbolic · Chronosymbolic · commit 758ef75849b4 · 2023-09-07T02:52:59.000-04:00
diff --git a/examples/README.md b/examples/README.md
@@ -45,3 +45,6 @@ Candidate: Or(And(Var_1 >= Var_0,
               Not(Var_4 + Var_1 >= Var_0*(1 + Var_2)))),
        Var_0 + -1*Var_1 <= 0))
 ```
+
+# DT exmaple
+Visualize how DT changes over time, here we provide a simple instance in `dt_visualizer.ipynb` showcasing this feature.
