逻辑2CNF

LogIC2CNF是流行的SAT求解器MIISAT的扩展。LogIC2CNF是一种易于使用的基于MiniSAT的命题逻辑求解器。HTTP://MIISAT.SE逻辑是用一个简单的语法编程(而不是必须转换逻辑到DIMACs),所有CNF转换是自动的。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。