SAT solver by mitchs (%20)

12cv 1 2 3 -4 5 6 7 8 9 10 -11 12 13 -14 -15 16
5!d
s/^/s UNSATISFIABLE\n/
/2/s/UN//
P
/1/cv 1 2 -3
d

Note that non-ascii characters in the above source code will be escaped (such as \x9f).

To protect the system from spam, please input your favorite sport (hint: I believe its name must start with 'g', case insensitive)

download

return to the top page