一种SAT求解器

摘要

本发明公开了一种SAT求解器，包括：双向传递链式模块(102)，用于双向传递待求解变量；蕴含电路模块(104)，用于为所述待求解变量提供蕴含值；冲突检测模块(106)，用于检测所述赋值模块(108)的当前赋值是否会引起冲突；赋值模块(108)，用于为所述待求解变量赋值，其输出值由该待求解变量的状态机的当前状态和赋值输入的输入信号共同决定。本发明的方案，可以解决现有技术中基于软件实现SAT求解器存在处理效率低的问题，达到提升处理效率的效果。