Commit f433ea81 authored by qbflib's avatar qbflib

Upload New File

parent 909887aa
p cnf 21 46
c uncontrollable inputs:
a 1 0
c state variables:
a 3 0
c next state variables:
a 4 0
c controllable inputs
d 2 1 3 0
c winning region (state)
d 5 3 0
c winning region (next state)
d 6 4 0
c tseitin variables
e 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 0
c clauses:
-7 -4 0
-7 3 0
7 4 -3 0
-8 4 0
-8 -3 0
8 -4 3 0
-9 -7 0
-9 -8 0
9 7 8 0
-10 6 0
-10 -5 0
10 -6 5 0
-11 -6 0
-11 5 0
11 6 -5 0
-12 -10 0
-12 -11 0
12 10 11 0
-13 9 0
-13 -12 0
13 -9 12 0
-14 -4 0
-14 1 0
14 4 -1 0
-15 4 0
-15 -1 0
15 -4 1 0
-16 -14 0
-16 -15 0
16 14 15 0
-17 16 0
-17 11 0
17 -16 -11 0
-18 5 0
-18 2 0
18 -5 -2 0
-19 3 0
-19 -18 0
19 -3 18 0
-20 -17 0
-20 19 0
20 17 -19 0
-21 -13 0
-21 20 0
21 13 -20 0
21 0
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment