MulticoreSatsolver
所属分类：远程控制/远程桌面
开发工具：C/C++
文件大小：81KB
下载次数：9
上传日期：2008-07-20 10:42:49
上 传 者：
jason509
说明： 在多核环境下运行的可满足性分析的解析器，它能够充分应用多核的计算资源，实现真正的速度提高，即可作为学术使用
(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 (245, 2007-04-10)
MiraXTSimp_V1.1\COPYRIGHT (1332, 2007-04-07)
MiraXTSimp_V1.1\Makefile (396, 2007-04-07)
MiraXTSimp_V1.1\Simp\SimpSolver.C (18751, 2007-04-07)
MiraXTSimp_V1.1\Simp\SimpSolver.h (6422, 2007-04-07)
MiraXTSimp_V1.1\Simp\Solver.C (8318, 2007-04-07)
MiraXTSimp_V1.1\Simp\Solver.h (16495, 2007-04-07)
MiraXTSimp_V1.1\Simp\SolverTypes.h (7898, 2007-04-07)
MiraXTSimp_V1.1\Simp\Alg.h (2200, 2007-04-07)
MiraXTSimp_V1.1\Simp\BasicHeap.h (3552, 2007-04-07)
MiraXTSimp_V1.1\Simp\BoxedVec.h (5450, 2007-04-07)
MiraXTSimp_V1.1\Simp\Heap.h (5194, 2007-04-07)
MiraXTSimp_V1.1\Simp\Map.h (4559, 2007-04-07)
MiraXTSimp_V1.1\Simp\Queue.h (2068, 2007-04-07)
MiraXTSimp_V1.1\Simp\Sort.h (3307, 2007-04-07)
MiraXTSimp_V1.1\Simp\Vec.h (5856, 2007-04-07)
MiraXTSimp_V1.1\Source\gettime.cpp (1557, 2007-04-07)
MiraXTSimp_V1.1\Source\verify.cpp (2525, 2007-04-07)
MiraXTSimp_V1.1\Source\main.cpp (7935, 2007-04-07)
MiraXTSimp_V1.1\Source\decisionqueue.cpp (5737, 2007-04-07)
MiraXTSimp_V1.1\Source\vsids.cpp (5461, 2007-04-07)
MiraXTSimp_V1.1\Source\thread_decide.cpp (6863, 2007-04-07)
MiraXTSimp_V1.1\Source\thread.cpp (20729, 2007-04-07)
MiraXTSimp_V1.1\Source\controlstructure.cpp (3101, 2007-04-07)
MiraXTSimp_V1.1\Source\clausedb.cpp (12575, 2007-04-07)
MiraXTSimp_V1.1\Source\thread_activity.cpp (1976, 2007-04-07)
MiraXTSimp_V1.1\Source\thread_ca.cpp (5922, 2007-04-07)
MiraXTSimp_V1.1\Source\thread_cleanclausedb.cpp (9525, 2007-04-07)
MiraXTSimp_V1.1\Source\thread_addclauses.cpp (12665, 2007-04-07)
MiraXTSimp_V1.1\Source\thread_startup.cpp (1935, 2007-04-07)
MiraXTSimp_V1.1\Source\defines.h (2985, 2007-04-07)
MiraXTSimp_V1.1\Source\thread_decisionstack.cpp (9271, 2007-04-07)
MiraXTSimp_V1.1\Source\thread_bcp.cpp (6103, 2007-04-07)
MiraXTSimp_V1.1\Source\vector.hpp (3990, 2007-04-07)
MiraXTSimp_V1.1\Source\gzloader.cpp (5095, 2007-04-07)
MiraXTSimp_V1.1\Source\thread_preprocessing.cpp (8739, 2007-04-07)
MiraXTSimp_V1.1\Source\statistics.cpp (2327, 2007-04-07)
MiraXTSimp_V1.1\Simp (0, 2007-04-07)
MiraXTSimp_V1.1\Source (0, 2007-04-07)
MiraXTSimp_V1.1 (0, 2008-06-13)
... ...
近期下载者：
相关文件：
收藏者：