MiraXTSimp_V1.1/CHANGES
MiraXTSimp_V1.1/COPYRIGHT
MiraXTSimp_V1.1/Makefile
MiraXTSimp_V1.1/Simp/SimpSolver.C
MiraXTSimp_V1.1/Simp/SimpSolver.h
MiraXTSimp_V1.1/Simp/Solver.C
MiraXTSimp_V1.1/Simp/Solver.h
MiraXTSimp_V1.1/Simp/SolverTypes.h
MiraXTSimp_V1.1/Simp/Alg.h
MiraXTSimp_V1.1/Simp/BasicHeap.h
MiraXTSimp_V1.1/Simp/BoxedVec.h
MiraXTSimp_V1.1/Simp/Heap.h
MiraXTSimp_V1.1/Simp/Map.h
MiraXTSimp_V1.1/Simp/Queue.h
MiraXTSimp_V1.1/Simp/Sort.h
MiraXTSimp_V1.1/Simp/Vec.h
MiraXTSimp_V1.1/Source/gettime.cpp
MiraXTSimp_V1.1/Source/verify.cpp
MiraXTSimp_V1.1/Source/main.cpp
MiraXTSimp_V1.1/Source/decisionqueue.cpp
MiraXTSimp_V1.1/Source/vsids.cpp
MiraXTSimp_V1.1/Source/thread_decide.cpp
MiraXTSimp_V1.1/Source/thread.cpp
MiraXTSimp_V1.1/Source/controlstructure.cpp
MiraXTSimp_V1.1/Source/clausedb.cpp
MiraXTSimp_V1.1/Source/thread_activity.cpp
MiraXTSimp_V1.1/Source/thread_ca.cpp
MiraXTSimp_V1.1/Source/thread_cleanclausedb.cpp
MiraXTSimp_V1.1/Source/thread_addclauses.cpp
MiraXTSimp_V1.1/Source/thread_startup.cpp
MiraXTSimp_V1.1/Source/defines.h
MiraXTSimp_V1.1/Source/thread_decisionstack.cpp
MiraXTSimp_V1.1/Source/thread_bcp.cpp
MiraXTSimp_V1.1/Source/vector.hpp
MiraXTSimp_V1.1/Source/gzloader.cpp
MiraXTSimp_V1.1/Source/thread_preprocessing.cpp
MiraXTSimp_V1.1/Source/statistics.cpp
MiraXTSimp_V1.1/Simp
MiraXTSimp_V1.1/Source
MiraXTSimp_V1.1
www.dssz.com.txt