SAT4J - SAT算法库

其他开发相关

---

授权协议: 未知

操作系统: 跨平台

开发语言: Java

---

软件简介

OpenSAT 是一个Java实现的SAT算法库。

关于SAT算法请看：sat2_sjtu_zhaoshuang.pdf

---

软件首页

---