程序名称:SAT4J
授权协议: 未知
操作系统: 跨平台
开发语言: Java
OpenSAT 是一个Java实现的SAT算法库。
关于SAT算法请看:sat2_sjtu_zhaoshuang.pdf
http://www.sat4j.org/