Add "mutate" command DB reduce functionality
authorClifford Wolf <clifford@clifford.at>
Wed, 13 Mar 2019 16:36:37 +0000 (17:36 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 21:04:42 +0000 (22:04 +0100)
commit6ad5d036c58766b2bd0a705c7adfcbf9af4a7d16
treea142b153d23146eb82aa304ebc01cdebb37a426b
parent76c9c350e7d0dfc11b609d98bdcd1ea0d845cb06
Add "mutate" command DB reduce functionality

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