Skip to content

A
abc
Commit c4b4ac70 by Alan Mishchenko
Options

New semi-canonical form computation package.

parent 99444597
Showing with 5 additions and 1 deletions
abclib.dsp
...@@ -3695,6 +3695,10 @@ SOURCE=.\src\bool\lucky\lucky.c ...@@ -3695,6 +3695,10 @@ SOURCE=.\src\bool\lucky\lucky.c
# End Source File # End Source File
# Begin Source File # Begin Source File
SOURCE=.\src\bool\lucky\lucky.h
# End Source File
# Begin Source File
SOURCE=.\src\bool\lucky\luckyInt.h SOURCE=.\src\bool\lucky\luckyInt.h
# End Source File # End Source File
# Begin Source File # Begin Source File
......
src/bool/lucky/lucky.h
...@@ -20,7 +20,7 @@ ...@@ -20,7 +20,7 @@
ABC_NAMESPACE_HEADER_START ABC_NAMESPACE_HEADER_START
extern unsigned Kit_TruthSemiCanonicize_new( unsigned * pInOut, unsigned * pAux, int nVars, char * pCanonPerm, short * pStore ); extern unsigned Kit_TruthSemiCanonicize_new( unsigned * pInOut, unsigned * pAux, int nVars, char * pCanonPerm );
ABC_NAMESPACE_HEADER_END ABC_NAMESPACE_HEADER_END
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment