+
+---------------------------------------------------------------------
+
+To do:
+
+(0) Support for saving/loading problem instances...
+
+(1) Complete satcheck support
+
+(2) Advance tree rewriting... Variable value elimination...
+
+(3) Think about undefined semantics...
+
+(4) Smart encoding...
+ Variable Graphs....
+
+ Split graph into connected components
+
+Encoding ideas:
+* Monotonic increasing index
+* Matched index (equality)
+* Bit exposes
+* Single var
+* Support arithmetic
+* Sparse encoding
+
+--------------------------------------------------------------------
+
+