diff options
| author | Jannis Harder <me@jix.one> | 2022-08-05 13:21:59 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-08-05 13:21:59 +0200 |
| commit | 8c923ad4929870d4e819b84f62c7f9177b0d0d17 (patch) | |
| tree | 91fa21d26aa013d43a8e40fd8a87990660c581f6 /src/bool/rpo/literal.h | |
| parent | 7cc11f7f0c49d4ce7e0ed88950d1c4c8abb1cba4 (diff) | |
| download | abc-8c923ad4929870d4e819b84f62c7f9177b0d0d17.tar.gz abc-8c923ad4929870d4e819b84f62c7f9177b0d0d17.tar.bz2 abc-8c923ad4929870d4e819b84f62c7f9177b0d0d17.zip | |
Add '-p' option to 'constr' to allow fully removing constraints
Invoking '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.
Diffstat (limited to 'src/bool/rpo/literal.h')
0 files changed, 0 insertions, 0 deletions