abc.c
1.65 MB
-
Add '-p' option to 'constr' to allow fully removing constraints · 8c923ad4Invoking 'constr -r' converts constraints into POs but does not fully remove them. Now 'constr -pr' can be used to completely remove them, leaving the set of non-constraint POs unchanged.
Jannis Harder committed