search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Everywhere: Separate common helpers from InterpolationUtils #804

Closed blishko closed 2 weeks ago

blishko commented 2 weeks ago

Helper datastructures representing partitions and interpolation colors are separate entities and should live in separate files. Interpolation tree is not currently used anywhere.