A Framework of SAT Solver Based on the ZYNQ
Huiqing Chen, Kangli Zhao, Xiaoyang Xiao, Anping He · 2021 4th International Conference on Advanced Electronic Materials, Computers and Software Engineering (AEMCSE) · 2021
Boolean Satisfiability (SAT) Problem is one of the key issues in the fields of both logic theory and computer applications. At present, the software and hardware based SAT solvers are both important in various applications. However, there still are many occasions that require the flexibility of software as well as the speed of hardware. It is valuable to develop a solver that combines software and hardware. Therefore, this paper proposed a framework of SAT solver on the ZYNQ platform, in which the assignments of variables are generated by a program in C-language and a concrete SAT problem is designed as an external device, two of them cooperates to solve the SAT problems. And a solving system was built based on the framework. The experimental results show that the framework of SAT solver is highly feasible and correct.