add notes

[satune.git] / design / notes.dot

diff --git a/design/notes.dot b/design/notes.dot
new file mode 100644 (file)
index 0000000..713fa6e
--- /dev/null
+++ b/design/notes.dot
@@ -0,0 +1,7 @@
+digraph "Passes" {
+TreeConstruction->TreeRewriting;
+TreeRewriting->EncodingSelection;
+EncodingSelection->Encoding;
+Encoding->SATOptimization;
+SATOptimization->CNFSATConversion;
+}
\ No newline at end of file