From d0ea4853ec8da057f76f7846d895c0207670cb11 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 26 Mar 2017 14:38:04 -0700 Subject: Experiments with multipliers. --- src/proof/acec/acecMult.c | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'src/proof/acec/acecMult.c') diff --git a/src/proof/acec/acecMult.c b/src/proof/acec/acecMult.c index c63fdde2..66ee2fb7 100644 --- a/src/proof/acec/acecMult.c +++ b/src/proof/acec/acecMult.c @@ -189,6 +189,7 @@ unsigned Extra_TruthCanonNPN2( unsigned uTruth, int nVars, Vec_Int_t * vRes ) for ( k = 0; k < nPerms; k++ ) { uPerm = Extra_TruthPermute( uPhase, pPerms[k], nVars, 0 ); + if ( !(uPerm & 1) ) Vec_IntPushUnique( vRes, uPerm ); if ( uTruthMin > uPerm ) uTruthMin = uPerm; @@ -197,6 +198,7 @@ unsigned Extra_TruthCanonNPN2( unsigned uTruth, int nVars, Vec_Int_t * vRes ) for ( k = 0; k < nPerms; k++ ) { uPerm = Extra_TruthPermute( uPhase, pPerms[k], nVars, 0 ); + if ( !(uPerm & 1) ) Vec_IntPushUnique( vRes, uPerm ); if ( uTruthMin > uPerm ) uTruthMin = uPerm; @@ -233,8 +235,12 @@ void Acec_MultFuncTest4() Vec_Int_t * vRes = Vec_IntAlloc( 1000 ); int i, Entry; - unsigned Truth = 0x35C0; + unsigned Truth = 0xF3C0; +// unsigned Truth = 0xF335; +// unsigned Truth = 0xFD80; //unsigned Truth = 0xD728; + //unsigned Truth = 0x35C0; + //unsigned Truth = 0xACC0; unsigned Canon = Extra_TruthCanonNPN2( Truth, 4, vRes ); Extra_PrintHex( stdout, (unsigned*)&Truth, 4 ); printf( "\n" ); -- cgit v1.2.3