Added support for generating a library of real-life truth-tables.

This commit is contained in:
Alan Mishchenko 2011-12-09 00:38:49 -08:00
parent beb29257bf
commit 36a80c7579
1 changed files with 4 additions and 0 deletions

View File

@ -3575,6 +3575,10 @@ SOURCE=.\src\aig\saig\saigGlaPba.c
# End Source File
# Begin Source File
SOURCE=.\src\aig\saig\saigGlaPba2.c
# End Source File
# Begin Source File
SOURCE=.\src\aig\saig\saigHaig.c
# End Source File
# Begin Source File