1 files changed, 37 insertions, 37 deletions

diff --git a/abclib.dsp b/abclib.dsp
index c069e7e2..d7c19e48 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -2034,140 +2034,140 @@ SOURCE=.\src\sat\bmc\bmcUnroll.c
 
 # PROP Default_Filter ""
 # End Group
-# Begin Group "xsat"
+# Begin Group "satoko"
 
 # PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\sat\xsat\xsat.h
+SOURCE=.\src\sat\satoko\act_clause.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\xsat\xsatBQueue.h
+SOURCE=.\src\sat\satoko\act_var.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\xsat\xsatClause.h
+SOURCE=.\src\sat\satoko\utils\b_queue.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\xsat\xsatCnfReader.c
+SOURCE=.\src\sat\satoko\cdb.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\xsat\xsatHeap.h
+SOURCE=.\src\sat\satoko\clause.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\xsat\xsatMemory.h
+SOURCE=.\src\sat\satoko\cnf_reader.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\xsat\xsatSolver.c
+SOURCE=.\src\sat\satoko\utils\heap.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\xsat\xsatSolver.h
+SOURCE=.\src\sat\satoko\utils\mem.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\xsat\xsatSolverAPI.c
+SOURCE=.\src\sat\satoko\utils\misc.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\xsat\xsatUtils.h
+SOURCE=.\src\sat\satoko\satoko.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\xsat\xsatWatchList.h
+SOURCE=.\src\sat\satoko\utils\sdbl.h
 # End Source File
-# End Group
-# Begin Group "satoko"
-
-# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\act_clause.h
+SOURCE=.\src\sat\satoko\solver.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\act_var.h
+SOURCE=.\src\sat\satoko\solver.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\utils\b_queue.h
+SOURCE=.\src\sat\satoko\solver_api.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\cdb.h
+SOURCE=.\src\sat\satoko\utils\sort.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\clause.h
+SOURCE=.\src\sat\satoko\types.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\cnf_reader.c
+SOURCE=.\src\sat\satoko\utils\vec\vec_char.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\utils\heap.h
+SOURCE=.\src\sat\satoko\utils\vec\vec_flt.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\utils\mem.h
+SOURCE=.\src\sat\satoko\utils\vec\vec_int.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\utils\misc.h
+SOURCE=.\src\sat\satoko\utils\vec\vec_uint.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\satoko.h
+SOURCE=.\src\sat\satoko\watch_list.h
 # End Source File
+# End Group
+# Begin Group "xsat"
+
+# PROP Default_Filter ""
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\utils\sdbl.h
+SOURCE=.\src\sat\xsat\xsat.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\solver.c
+SOURCE=.\src\sat\xsat\xsatBQueue.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\solver.h
+SOURCE=.\src\sat\xsat\xsatClause.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\solver_api.c
+SOURCE=.\src\sat\xsat\xsatCnfReader.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\utils\sort.h
+SOURCE=.\src\sat\xsat\xsatHeap.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\types.h
+SOURCE=.\src\sat\xsat\xsatMemory.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\utils\vec\vec_char.h
+SOURCE=.\src\sat\xsat\xsatSolver.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\utils\vec\vec_flt.h
+SOURCE=.\src\sat\xsat\xsatSolver.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\utils\vec\vec_int.h
+SOURCE=.\src\sat\xsat\xsatSolverAPI.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\utils\vec\vec_uint.h
+SOURCE=.\src\sat\xsat\xsatUtils.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\sat\satoko\watch_list.h
+SOURCE=.\src\sat\xsat\xsatWatchList.h
 # End Source File
 # End Group
 # End Group