minimization in csa code is working now correctly
[unres.git] / examples /
drwxr-xr-x   ..
drwxr-xr-x - unres