- automatic directed edge constraint generation
 - unix example