search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Consolidate `Rewritings` #740

Open Tomaqa opened 3 months ago

Tomaqa commented 3 months ago

Move BoolRewritings, Substitutor, ArithmeticEqualityRewriter together with other rewriters into Rewritings.h. And get rid of src/simplifiers