From 7ea40494eb637c5c717c3fa80529bfbbec897f83 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 29 Jan 2012 21:22:54 -0800 Subject: Graph isomorphism checking code. --- abclib.dsp | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'abclib.dsp') diff --git a/abclib.dsp b/abclib.dsp index 2fec3de7..dca2c9b5 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -3043,6 +3043,10 @@ SOURCE=.\src\aig\aig\aigInter.c # End Source File # Begin Source File +SOURCE=.\src\aig\aig\aigIso.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\aig\aigJust.c # End Source File # Begin Source File @@ -3195,6 +3199,10 @@ SOURCE=.\src\aig\saig\saigConstr2.c # End Source File # Begin Source File +SOURCE=.\src\aig\saig\saigDual.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\saig\saigDup.c # End Source File # Begin Source File -- cgit v1.2.3