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

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

• 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．