diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-07-17 12:31:31 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-07-17 12:31:31 -0700 |
commit | c19d2289f2c9996679180d21b8f14de0bbde968a (patch) | |
tree | 441b224de32ef34cce64f023080d975440507d25 /abclib.dsp | |
parent | e24a3d52f6efef48eb4c5acdaf8fb4f6e9d1e4f1 (diff) | |
download | abc-c19d2289f2c9996679180d21b8f14de0bbde968a.tar.gz abc-c19d2289f2c9996679180d21b8f14de0bbde968a.tar.bz2 abc-c19d2289f2c9996679180d21b8f14de0bbde968a.zip |
Accidental change.
Diffstat (limited to 'abclib.dsp')
-rw-r--r-- | abclib.dsp | 74 |
1 files changed, 37 insertions, 37 deletions
@@ -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 |