Added eval -brute_force_equiv_checker_x mode
authorClifford Wolf <clifford@clifford.at>
Thu, 15 Aug 2013 09:09:30 +0000 (11:09 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 15 Aug 2013 09:09:30 +0000 (11:09 +0200)
commitd0e93e04d1cc196264b0bbcf1aafcfba0adb2ea0
tree290f64df772019689dc85f24ba32d91fa813c4c2
parent759852914df00609f8797315c6cec76f1c8a3981
Added eval -brute_force_equiv_checker_x mode
kernel/calc.cc
passes/sat/eval.cc