From 1b36058a4edaf0c2881ea1116f26d880c7d8975d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 8 Aug 2012 01:50:53 -0700 Subject: [PATCH] New command 'testnpn' to compare semi-canonical forms. --- abclib.dsp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/abclib.dsp b/abclib.dsp index e78500233..5ef474985 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -339,6 +339,10 @@ SOURCE=.\src\base\abci\abcMv.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcNpn.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcNpnSave.c # End Source File # Begin Source File