From: bdemsky <bdemsky@uci.edu>
Date: Mon, 19 Jun 2017 21:15:45 +0000 (-0700)
Subject: Add some notes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ba9db6c6d57e2140695a05dfc4040debf1542e57;p=satune.git

Add some notes
---

diff --git a/design/notes.txt b/design/notes.txt
new file mode 100644
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?