Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
[satune.git] / design / notes.dot
1 digraph "Passes" {
2 TreeConstruction->TreeRewriting;
3 TreeRewriting->EncodingSelection;
4 EncodingSelection->Encoding;
5 Encoding->SATOptimization;
6 SATOptimization->CNFSATConversion;
7 }