Added timout functionality to SAT solver
authorClifford Wolf <clifford@clifford.at>
Thu, 20 Jun 2013 10:49:10 +0000 (12:49 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 20 Jun 2013 10:49:10 +0000 (12:49 +0200)
commit8fbb5b62400edf82f6719eda90a75730d467db83
tree5f11874a9ffcb1553cca9a1de0d2a2234aa01ea5
parent21e38bed98d3d6bc4ae5833f6f609ac8f12d6361
Added timout functionality to SAT solver
libs/ezsat/ezminisat.cc
libs/ezsat/ezminisat.h
libs/ezsat/ezsat.cc
libs/ezsat/ezsat.h
passes/sat/sat.cc
tests/xsthammer/run-check.sh