src/base/abci · feedbc744955df2b142d6a0b9dc62814567f5fc2 · lvzhengyang / abc

Add '-p' option to 'constr' to allow fully removing constraints · 8c923ad4

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.

committed Aug 05, 2022

8c923ad4

Name	Last commit	Last update
..
abc.c		Loading commit data...
abcAttach.c		Loading commit data...
abcAuto.c		Loading commit data...
abcBalance.c		Loading commit data...
abcBidec.c		Loading commit data...
abcBm.c		Loading commit data...
abcBmc.c		Loading commit data...
abcCas.c		Loading commit data...
abcCascade.c		Loading commit data...
abcCollapse.c		Loading commit data...
abcCut.c		Loading commit data...
abcDar.c		Loading commit data...
abcDarUnfold2.c		Loading commit data...
abcDebug.c		Loading commit data...
abcDec.c		Loading commit data...
abcDetect.c		Loading commit data...
abcDress.c		Loading commit data...
abcDress2.c		Loading commit data...
abcDress3.c		Loading commit data...
abcDsd.c		Loading commit data...
abcEco.c		Loading commit data...
abcEspresso.c		Loading commit data...
abcExact.c		Loading commit data...
abcExtract.c		Loading commit data...
abcFlop.c		Loading commit data...
abcFpga.c		Loading commit data...
abcFpgaFast.c		Loading commit data...
abcFraig.c		Loading commit data...
abcFx.c		Loading commit data...
abcFxu.c		Loading commit data...
abcGen.c		Loading commit data...
abcHaig.c		Loading commit data...
abcIf.c		Loading commit data...
abcIfMux.c		Loading commit data...
abcIfif.c		Loading commit data...
abcIvy.c		Loading commit data...
abcLog.c		Loading commit data...
abcLut.c		Loading commit data...
abcLutmin.c		Loading commit data...
abcMap.c		Loading commit data...
abcMeasure.c		Loading commit data...
abcMerge.c		Loading commit data...
abcMffc.c		Loading commit data...
abcMfs.c		Loading commit data...
abcMini.c		Loading commit data...
abcMiter.c		Loading commit data...
abcMulti.c		Loading commit data...
abcMv.c		Loading commit data...
abcNpn.c		Loading commit data...
abcNpnSave.c		Loading commit data...
abcNtbdd.c		Loading commit data...
abcOdc.c		Loading commit data...
abcOrder.c		Loading commit data...
abcPart.c		Loading commit data...
abcPlace.c		Loading commit data...
abcPrint.c		Loading commit data...
abcProve.c		Loading commit data...
abcQbf.c		Loading commit data...
abcQuant.c		Loading commit data...
abcReach.c		Loading commit data...
abcRec3.c		Loading commit data...
abcReconv.c		Loading commit data...
abcRefactor.c		Loading commit data...
abcRenode.c		Loading commit data...
abcReorder.c		Loading commit data...
abcRestruct.c		Loading commit data...
abcResub.c		Loading commit data...
abcRewrite.c		Loading commit data...
abcRpo.c		Loading commit data...
abcRr.c		Loading commit data...
abcRunGen.c		Loading commit data...
abcSat.c		Loading commit data...
abcSaucy.c		Loading commit data...
abcScorr.c		Loading commit data...
abcSense.c		Loading commit data...
abcSpeedup.c		Loading commit data...
abcStrash.c		Loading commit data...
abcSweep.c		Loading commit data...
abcSymm.c		Loading commit data...
abcTim.c		Loading commit data...
abcTiming.c		Loading commit data...
abcUnate.c		Loading commit data...
abcUnreach.c		Loading commit data...
abcVerify.c		Loading commit data...
abcXsim.c		Loading commit data...
abciUnfold2.c		Loading commit data...
fahout_cut.c		Loading commit data...
module.make		Loading commit data...