abc.c
1.65 MB
The source could not be displayed because it is larger than 1 MB.
You can
load it anyway or download it
instead.
-
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