abc/src/bool/lucky/lucky.c
// tries to find minimal F till F at the beginning of the loop is the same as at the end - irreducible 
tries to find minimal F till F at the beginning of the loop is the same as at the end - irreducible
tries to find minimal F till F at the beginning of the loop is the same as at the end - irreducible
unsigned luckyCanonicizer1_simple(word* pInOut, word* pAux, word* pAux1, int  nVars, char * pCanonPerm, unsigned CanonPhase)
{
    int counter=1;
    assert( nVars <= 16 );
    while(counter>0 )   
    {
        counter=0;
        counter += minimalInitialFlip1(pInOut, nVars);
        counter += minimalFlip1(pInOut, pAux, pAux1, nVars);
        counter += minimalSwap1(pInOut, pAux, pAux1, nVars);    
    }
    return CanonPhase;
}
unsigned luckyCanonicizer1_simple ( word * pInOut , word * pAux , word * pAux1 , int nVars , char * pCanonPerm , unsigned CanonPhase ) { int counter = 1 ; assert ( nVars <= 16 ) ; while ( counter > 0 ) { counter = 0 ; counter += minimalInitialFlip1 ( pInOut , nVars ) ; counter += minimalFlip1 ( pInOut , pAux , pAux1 , nVars ) ; counter += minimalSwap1 ( pInOut , pAux , pAux1 , nVars ) ; } return CanonPhase ; }
tries to find minimal F till F at the beginning of the loop is the same as at the end - irreducible
tries to find minimal F till F at the beginning of the loop is the same as at the end - irreducible
//  && cycles < 10 if we wanna limit cycles