Add "mutate -mode inv", various other mutate improvements
authorClifford Wolf <clifford@clifford.at>
Wed, 13 Mar 2019 15:09:47 +0000 (16:09 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 21:04:42 +0000 (22:04 +0100)
commit8e6b69d7bba21dd3fa01064ee698dcd409b5dcc8
treeee7786ed78703a7401d2ac246ab45b3309ef03bb
parentea8ee2414053101bae26cfc2a537d42daf57f5e0
Add "mutate -mode inv", various other mutate improvements

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