removing duplicates
[satune.git] / design / notes.dot
1 digraph "Passes" {
2 TreeConstruction->TreeRewriting;
3 TreeRewriting->EncodingSelection;
4 EncodingSelection->Encoding;
5 Encoding->SATOptimization;
6 SATOptimization->CNFSATConversion;
7 }