More "freduce" related fixes and improvements
authorClifford Wolf <clifford@clifford.at>
Thu, 2 Jan 2014 18:37:34 +0000 (19:37 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 2 Jan 2014 18:37:34 +0000 (19:37 +0100)
commit0759c97748dc159bacc4a25fd83b6fddfe618bc6
tree72f2f6e0d6344d31acde7ffbae74cec1f2d0d7bc
parentced4d7b321f01571e6746d2a3ff21efa270795a1
More "freduce" related fixes and improvements
passes/sat/freduce.cc