文件名称:MulticoreSatsolver
介绍说明－－下载内容均来自于网络，请自行研究使用
在多核环境下运行的可满足性分析的解析器，它能够充分应用多核的计算资源，实现真正的速度提高，即可作为学术使用
(系统自动生成,下载前可以参看下载内容)
下载文件列表
压缩包 : 97288422multicoresatsolver.rar 列表 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