Skip to content

A
abc
Commit c19d2289 by Alan Mishchenko
Options

Accidental change.

parent e24a3d52
Showing with 37 additions and 37 deletions
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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment