Skip to content

Latest commit

 

History

History
6 lines (5 loc) · 125 Bytes

README.md

File metadata and controls

6 lines (5 loc) · 125 Bytes

HUST 程序设计课设:

内容:

  • 实现sat求解器
  • sat求解器的策略调优
  • 双数独转换成sat问题求解