这是一种很好的SAT解析器。通过它 - 免费下载

Linux/Unix编程资源文件大小：68 K

📋 资源详细信息

文件格式

所属分类

Linux/Unix编程

上传用户

foreverNewcomer

上传时间

2014-01-12 15:55

文件大小

68 K

所需积分

2 积分

推荐指数

⭐⭐⭐⭐⭐ (5/5)

💡 温馨提示：本资源由用户 foreverNewcomer 上传分享，仅供学习交流使用。如有侵权，请联系我们删除。

资源简介

这是一种很好的SAT解析器。通过它，我们可以判断SAT问题是否有解，并且在有解的情况下能找到解

源码文件列表

📂 共 24 个源码文件点击文件名可在线查看源代码

1 📄

makefile

大小: 1.93 KB

查看源码

2 📋

zchaff_header.h

大小: 3.24 KB

查看源码

3 📄

zchaff_solver.cpp

大小: 64 KB

查看源码

4 📋

zchaff_dbase.h

大小: 7.99 KB

查看源码

5 📄

zchaff_parallel.cpp

大小: 12.88 KB

查看源码

6 📄

cnf_stats.cpp

大小: 2.94 KB

查看源码

7 📄

zchaff_base.cpp

大小: 3.83 KB

查看源码

8 📄

zchaff_wrapper.wrp

大小: 19.25 KB

查看源码

9 📄

zverify_df.cpp

大小: 25.25 KB

查看源码

10 📋

zchaff_version.h

大小: 2.01 KB

查看源码

11 📄

zcore_extract.cpp

大小: 2.35 KB

查看源码

12 📄

zverify_bf.cpp

大小: 27.44 KB

查看源码

13 📄

sat_solver.cpp

大小: 9.96 KB

查看源码

14 📄

zchaff_utils.cpp

大小: 3.11 KB

查看源码

15 📄

run_till_fix

大小: 849 B

查看源码

📂 查看完整源码列表 (共 24 个文件) →

💡

温馨提示：点击文件名或"查看源码"按钮可在线浏览源代码，支持语法高亮显示。

立即下载此资源

提示：下载后请用压缩软件解压，推荐使用 WinRAR 或 7-Zip

资源说明

📥 下载说明

下载需消耗 2积分
24小时内重复下载不扣分
支持断点续传
资源永久有效

📦 使用说明

下载后用解压软件解压
推荐 WinRAR 或 7-Zip
如有密码请查看说明
解压后即可使用

🎁 积分获取

上传资源获得积分
每日签到免费领取
邀请好友注册奖励
查看详情 →

这是一种很好的SAT解析器。通过它 - 免费下载

📋 资源详细信息

资源简介

源码文件列表

立即下载此资源

资源说明

📥 下载说明

📦 使用说明

🎁 积分获取

相关标签

相关资源推荐

📦 这是一种很好的SAT解析器。通过它 - 免费下载

📋 资源详细信息

📄 资源简介

💻 源码文件列表

💾 立即下载此资源

📖 资源说明

📥 下载说明

📦 使用说明

🎁 积分获取

🏷️ 相关标签

🔗 相关资源推荐

这是一种很好的SAT解析器。通过它 - 免费下载

资源简介

源码文件列表

立即下载此资源

资源说明

相关标签

相关资源推荐