Removed ezSAT::assumed() API
authorClifford Wolf <clifford@clifford.at>
Sat, 1 Mar 2014 19:55:06 +0000 (20:55 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 1 Mar 2014 19:55:06 +0000 (20:55 +0100)
commitedc21460565ea75cff54cab69933da8c5e9db382
tree66f7a6f15b45d63549bc81a73961186ba3044f64
parente3debea4e659126c538a2ff5c6a9987ca7778d89
Removed ezSAT::assumed() API
libs/ezsat/ezsat.cc
libs/ezsat/ezsat.h
libs/ezsat/testbench.cc