From d877074d8ff6c23b4c14b1c46bfab1b6560ef8b6 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 9 Mar 2017 22:53:47 -0800 Subject: Improvements to ternary simulation. --- abclib.dsp | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'abclib.dsp') diff --git a/abclib.dsp b/abclib.dsp index efa61d1b..48a3463e 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -4659,6 +4659,10 @@ SOURCE=.\src\aig\gia\giaRex.c # End Source File # Begin Source File +SOURCE=.\src\aig\gia\giaSat3.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\gia\giaSatEdge.c # End Source File # Begin Source File -- cgit v1.2.3 From 5fbe218ff8c9a150d2898eae4f454961274ef4eb Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 9 Mar 2017 22:57:20 -0800 Subject: Improvements to ternary simulation. --- abclib.dsp | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'abclib.dsp') diff --git a/abclib.dsp b/abclib.dsp index 48a3463e..227cdf8a 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -5403,6 +5403,10 @@ SOURCE=.\src\proof\pdr\pdrTsim2.c # End Source File # Begin Source File +SOURCE=.\src\proof\pdr\pdrTsim3.c +# End Source File +# Begin Source File + SOURCE=.\src\proof\pdr\pdrUtil.c # End Source File # End Group -- cgit v1.2.3