diff --git a/abclib.dsp b/abclib.dsp
index 1ab567cce..dc8ba79ea 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -499,6 +499,10 @@ SOURCE=.\src\base\abci\abcTiming.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcTopo.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcUnate.c
 # End Source File
 # Begin Source File
@@ -587,6 +591,10 @@ SOURCE=.\src\base\io\ioJson.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\io\ioJsonc.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\io\ioReadAiger.c
 # End Source File
 # Begin Source File
@@ -2135,6 +2143,18 @@ SOURCE=.\src\sat\bmc\bmcMaj3.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\sat\bmc\bmcMaj7.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\sat\bmc\bmcMaj8.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\sat\bmc\bmcMaj9.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\sat\bmc\bmcMaxi.c
 # End Source File
 # Begin Source File
@@ -4167,6 +4187,35 @@ SOURCE=.\src\opt\eslim\synthesisEngine.hpp
 # End Source File
 # End Group
 # End Group
+# Begin Group "ufar"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\opt\ufar\UfarCmd.cpp
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\ufar\UfarCmd.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\ufar\UfarMgr.cpp
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\ufar\UfarMgr.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\ufar\UfarPth.cpp
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\ufar\UfarPth.h
+# End Source File
+# Begin Source File
+# End Group
 # Begin Group "map"
 
 # PROP Default_Filter ""
@@ -4379,6 +4428,10 @@ SOURCE=.\src\map\if\ifDec75.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\map\if\ifDecJ.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\map\if\ifDelay.c
 # End Source File
 # Begin Source File
@@ -4951,6 +5004,10 @@ SOURCE=.\src\misc\util\utilBridge.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\misc\util\utilAigSim.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\misc\util\utilBSet.c
 # End Source File
 # Begin Source File
@@ -4991,6 +5048,10 @@ SOURCE=.\src\misc\util\utilMem.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\misc\util\utilMiniver.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\misc\util\utilNam.c
 # End Source File
 # Begin Source File
@@ -4999,6 +5060,10 @@ SOURCE=.\src\misc\util\utilNam.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\misc\util\utilNet.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\misc\util\utilPth.c
 # End Source File
 # Begin Source File
@@ -5827,6 +5892,10 @@ SOURCE=.\src\aig\gia\giaCut.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\gia\giaDecGraph.cpp
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\gia\giaDecs.c
 # End Source File
 # Begin Source File
@@ -5955,6 +6024,10 @@ SOURCE=.\src\aig\gia\giaLf.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\gia\giaLutCas.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\gia\giaMan.c
 # End Source File
 # Begin Source File
@@ -5987,6 +6060,10 @@ SOURCE=.\src\aig\gia\giaMulFind.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\gia\giaMulFind3.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\gia\giaMuxes.c
 # End Source File
 # Begin Source File