Improved sat generator and sat_solve pass
authorClifford Wolf <clifford@clifford.at>
Fri, 7 Jun 2013 12:37:33 +0000 (14:37 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 7 Jun 2013 12:37:33 +0000 (14:37 +0200)
commit56b593b91cc693849e3b3b3de0666f6ec9a597f6
treeccaa7c501a228f4056b887370682f054c81aea48
parent46fbe9d26299a7b6197463b3056d778f525658fb
Improved sat generator and sat_solve pass
kernel/satgen.h
libs/ezsat/ezsat.cc
libs/ezsat/ezsat.h
libs/ezsat/puzzle3d.cc
passes/sat/example.ys
passes/sat/sat_solve.cc