summaryrefslogtreecommitdiffstats
path: root/src/sat/bmc/bmcMaxi.c
diff options
context:
space:
mode:
authorJannis Harder <me@jix.one>2022-08-05 13:21:59 +0200
committerJannis Harder <me@jix.one>2022-08-05 13:21:59 +0200
commit8c923ad4929870d4e819b84f62c7f9177b0d0d17 (patch)
tree91fa21d26aa013d43a8e40fd8a87990660c581f6 /src/sat/bmc/bmcMaxi.c
parent7cc11f7f0c49d4ce7e0ed88950d1c4c8abb1cba4 (diff)
downloadabc-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/sat/bmc/bmcMaxi.c')
0 files changed, 0 insertions, 0 deletions