OpenSAT - SAT算法库

其他开发相关

---

授权协议: 未知

操作系统: 跨平台

开发语言: Java

---

软件简介

OpenSAT 是一个旨在开发SAT算法的项目。

关于SAT算法请看：sat2_sjtu_zhaoshuang.pdf

---

软件首页

---