grafplan.tav
input formula:
and(exactlyone(x1,x2,x3),exactlyone(x4,x5,x6),exactlyone(x7,x8,x9))
 # of variables = 9
finding satisfying assignements:
x3,x6,x9,
x3,x6,x8,
x3,x6,x7,
x3,x5,x9,
x3,x5,x8,
x3,x5,x7,
x3,x4,x9,
x3,x4,x8,
x3,x4,x7,
x2,x6,x9,
x2,x6,x8,
x2,x6,x7,
x2,x5,x9,
x2,x5,x8,
x2,x5,x7,
x2,x4,x9,
x2,x4,x8,
x2,x4,x7,
x1,x6,x9,
x1,x6,x8,
x1,x6,x7,
x1,x5,x9,
x1,x5,x8,
x1,x5,x7,
x1,x4,x9,
x1,x4,x8,
x1,x4,x7,
number of solutions=           27
time= 0.00sec
that's all, gdbye.
