From ba9db6c6d57e2140695a05dfc4040debf1542e57 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Mon, 19 Jun 2017 14:15:45 -0700 Subject: [PATCH] Add some notes --- design/notes.txt | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 design/notes.txt 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? -- 2.34.1