文件名称:MulticoreSatsolver
下载
别用迅雷、360浏览器下载。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
介绍说明－－下载内容均来自于网络，请自行研究使用
在多核环境下运行的可满足性分析的解析器，它能够充分应用多核的计算资源，实现真正的速度提高，即可作为学术使用-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
...............\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