HUST SAT

HUSTCS的程序设计课程项目

实现方法基于CDCL。

速度方面在不使用多线程编程的情况下，应该已经算是比较快了。

后续优化可以考虑使用多线程。

注：此项目为补档，原始项目在本人gitee开源。

此项目仅供参考，请勿直接使用或照抄。鼓励在此项目的基础上继续优化。例如可以优化多线程或者优化选取策略等。