Add some notes

[satune.git] / design / notes.txt

diff --git a/design/notes.txt b/design/notes.txt
new file mode 100644 (file)
index 0000000..1159c96
--- /dev/null
+++ b/design/notes.txt
@@ -0,0 +1,8 @@
+(1) Elements/BooleanVars should link back to expressions that use them
+
+(2) Need to introduce variables in encoding of functions....
+
+(3) Some cases can do variable elimination of introduced variables...
+
+(4) Might need to indicate what variables we can query about in
+future?