removed max stable set inequ. added path and clique-path constraints.
[libfirm] / ir /
drwxr-xr-x   ..
drwxr-xr-x - be