CO solvers indicate if they produced an optimal solution
[libfirm] / ir /
drwxr-xr-x   ..
drwxr-xr-x - be