OpenSATSAT算法庫
認(rèn)領(lǐng)
0粉絲
OpenSAT 是一個(gè)旨在開發(fā)SAT算法的項(xiàng)目。關(guān)于SAT算法請(qǐng)看：sat2_sjtu_zhaoshuang.pdf
簡介
OpenSAT 是一個(gè)旨在開發(fā)SAT算法的項(xiàng)目。關(guān)于SAT算法請(qǐng)看：sat2_sjtu_zhaoshuang.pdf... 更多
技術(shù)信息
開源協(xié)議
未知
開發(fā)語言
Java
操作系統(tǒng)
跨平臺(tái)
軟件類型
開源軟件
所屬分類
程序開發(fā)、 其他開發(fā)相關(guān)
開源組織
無
地區(qū)
不詳
適用人群
未知
評(píng)價(jià)
0.0（滿分 10 分）0 個(gè)評(píng)分
什么是點(diǎn)評(píng)分
圖片
表情
全部評(píng)價(jià)(
0)
推薦率
100%