Improvements in "mutate" list-reduce algorithm
authorClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 23:18:31 +0000 (00:18 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 23:18:31 +0000 (00:18 +0100)
commitd1985f6a223d18e0ae8545a620e4117fd4ca23b3
tree2a47da00939f3e50ef8f3ba4a17f3b0ca63d6f93
parent27a5d9c91e44dd04fa45e1e2aeff8c6d1cd50872
Improvements in "mutate" list-reduce algorithm

Signed-off-by: Clifford Wolf <clifford@clifford.at>
passes/sat/mutate.cc