JSMiniSolvers Example

Enter a CNF formula as an array of arrays.

For example, for (x1 v x2)(!x1)(!x3), write [[1,2],[-1],[-3]].

[[1,2],[-1],[-3]]

Solve

Result: