Running in multi-core environment to meet the analysis of the parser, it can be fully applied multi-core computing resources, real speed, you can use as an academic

Packet : 97288422multicoresatsolver.rar filelist
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

• We are an exchange download platform that only provides communication channels. The downloaded content comes from the internet. Except for download issues, please Google on your own.
• The downloaded content is provided for members to upload. If it unintentionally infringes on your copyright, please contact us.
• Please use Winrar for decompression tools
• If download fail, Try it againg or Feedback to us.
• If downloaded content did not match the introduction, Feedback to us，Confirm and will be refund.
• Before downloading, you can inquire through the uploaded person information

Nothing．