解算器
SAT解算器
-
UBCSAT公司 C类
-
协处理器 C类++ -
藏红花 Java语言 -
SatELite公司 C类++ -
SPASS-CNF公司
-
tusSAT卫星 VHDL（VHDL） 麻省理工学院
-
ParaFROST公司 C类++ 麻省理工学院
伪布尔解算器
MaxSat解算器
-
戈菲尔卫星 去吧 麻省理工学院 -
国际卫星组织 C类++ 麻省理工学院 -
MiFuMax公司 GPL公司 -
MsUnCore公司 -
OpenWBO（开放WBO） C类++ -
QMax卫星 麻省理工学院 -
周六4j Java语言 EPL LGPL公司 -
图尔巴2 麻省理工学院
QBF解算器
模态逻辑求解器
-
InKreSAT公司 OCaml公司 -
StarSAT卫星 C类 GNU GPL v2
