這是一種非常有用的SAT解析器 - 免費下載

Linux/Unix編程資源 文件大?。?3 K

?? 資源詳細信息

文件格式
ZIP
所屬分類
上傳用戶
上傳時間
文件大小
63 K
所需積分
2 積分
推薦指數(shù)
????? (5/5)

?? 溫馨提示：本資源由用戶 add505 上傳分享，僅供學習交流使用。如有侵權，請聯(lián)系我們刪除。

資源簡介

這是一種非常有用的SAT解析器，速度快，結果準確。希望對大家有所幫助。

源碼文件列表

?? 共 19 個源碼文件 點擊文件名可在線查看源代碼

1 ??
makefile
大小: 1.59 KB
查看源碼
5 ??
readme
大小: 5.24 KB
查看源碼
6 ??
zchaff_dbase.h
大小: 8.54 KB
查看源碼
7 ??
cnf_stats.cpp
大小: 3.23 KB
查看源碼
10 ??
zverify_df.cpp
大小: 23.64 KB
查看源碼
12 ??
sat_solver.cpp
大小: 11.16 KB
查看源碼
14 ??
sat.h
大小: 17.49 KB
查看源碼
15 ??
zchaff_solver.h
大小: 11.95 KB
查看源碼
??
溫馨提示：點擊文件名或"查看源碼"按鈕可在線瀏覽源代碼，支持語法高亮顯示。

立即下載此資源

提示：下載后請用壓縮軟件解壓，推薦使用 WinRAR 或 7-Zip

資源說明

?? 下載說明

  • 下載需消耗 2積分
  • 24小時內重復下載不扣分
  • 支持斷點續(xù)傳
  • 資源永久有效

?? 使用說明

  • 下載后用解壓軟件解壓
  • 推薦 WinRAR 或 7-Zip
  • 如有密碼請查看說明
  • 解壓后即可使用

?? 積分獲取

  • 上傳資源獲得積分
  • 每日簽到免費領取
  • 邀請好友注冊獎勵
  • 查看詳情 →

相關標簽

點擊標簽查看更多相關資源：

相關資源推薦