文件名称:MulticoreSatsolver
介绍说明－－下载内容均来自于网络，请自行研究使用
在多核环境下运行的可满足性分析的解析器，它能够充分应用多核的计算资源，实现真正的速度提高，即可作为学术使用-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