Commit 909887aa authored by qbflib's avatar qbflib

Added new (first) file from dqbeval 2018

parent bf20a8b6
p cnf 9 16
c uncontrollable inputs:
a 1 0
c state variables:
a 0
c next state variables:
a 0
c controllable inputs
d 2 1 0
c winning region (state)
d 3 0
c winning region (next state)
d 4 0
c tseitin variables
e 5 6 7 8 9 0
c clauses:
-5 2 0
-5 1 0
5 -2 -1 0
-6 -2 0
-6 -1 0
6 2 1 0
-7 -5 0
-7 -6 0
7 5 6 0
-8 3 0
-8 7 0
8 -3 -7 0
-9 4 0
-9 8 0
9 -4 -8 0
9 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