Added statehash to ezSAT
authorClifford Wolf <clifford@clifford.at>
Mon, 29 Dec 2014 16:10:37 +0000 (17:10 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 29 Dec 2014 16:10:37 +0000 (17:10 +0100)
commit29a555ec7eaa0e561f76c65258a50c54b6468546
tree74d48ff9a1623b617338956ace2d373643f80139
parent7a4d5d1c0fb78d49163160bfabb8cd1f5d1a2899
Added statehash to ezSAT
libs/ezsat/ezsat.cc
libs/ezsat/ezsat.h
passes/opt/share.cc