SAT4J - SAT算法库


未知
跨平台
Java

软件简介

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

关于SAT算法请看:sat2_sjtu_zhaoshuang.pdf