design/notes.dot

   1 digraph "Passes" {
   2 TreeConstruction->TreeRewriting;
   3 TreeRewriting->EncodingSelection;
   4 EncodingSelection->Encoding;
   5 Encoding->SATOptimization;
   6 SATOptimization->CNFSATConversion;
   7 }