程序名称:OpenSAT
授权协议: 未知
操作系统: 跨平台
开发语言: Java
OpenSAT 是一个旨在开发SAT算法的项目。
关于SAT算法请看:sat2_sjtu_zhaoshuang.pdf
http://sat.inesc.pt/OpenSAT/index.php