在多核环境下运行的可满足性分析的解析器，它能够充分应用多核的计算资源，实现真正的速度提高，即可作为学术使用-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