求：C++ SAT Solver codebase，教程，视频，代码。加米

f2jing · 2022-12-16 05:51:26

您需要登录才可以下载或查看附件。没有帐号？注册账号

x

有没有什么关于sat solver 的code base啊？最好是c++的，或者是手把手教你写的。想假期做一个 project 放简历上。
好资源会加米！
感谢

redhairdragon · 2022-12-16 13:46:10

f2jing 发表于 2022-12-15 21:23
刚开始学c++ 不知道还有啥项目推荐值得的吗？我看有个博主推荐写os，但是我学的不好

刚学我觉得可以写个带UI的俄罗斯方块，吃豆人什么的。。比sat solver有意思多了。
OS那是后面的事情了

f2jing · 2022-12-16 13:31:02

而且我本来是不想写，我妈让我写。。。。

reab · 2022-12-16 10:04:51

你要直接拿来调用的话，Z3，你要学习代码的话，MiniSAT。

这两个都是C++写的。

f2jing · 2022-12-16 10:30:41

reab 发表于 2022-12-15 21:04. .и
你要直接拿来调用的话，Z3，你要学习代码的话，MiniSAT。
. ----
这两个都是C++写的。

除了minisat 还有别的吗？

chennyhuang · 2022-12-16 11:20:23

干写SAT solver有点秀，如果能完成的话一定是个很好的亮点！

f2jing · 2022-12-16 13:23:38

刚开始学c++ 不知道还有啥项目推荐值得的吗？我看有个博主推荐写os，但是我学的不好

diececece · 2022-12-18 18:35:50

你可以去问问 chatgpt，我之前让他用 Python 写过 SAT solver 并用来找到n皇后问题的一个可行解。代码和注释都很规范。

f2jing · 2022-12-18 19:42:43

diececece 发表于 2022-12-18 05:35
你可以去问问 chatgpt，我之前让他用 Python 写过 SAT solver 并用来找到n皇后问题的一个可行解。代码和注 ...

问过了，只能给个大概

[资料信息共享] 求：C++ SAT Solver codebase，教程，视频，代码。加米