search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

CMake: Do not install redundant file + small cleanup #747

Closed blishko closed 3 months ago

blishko commented 3 months ago

I am pretty sure we do not need to install UFInterpolator.h, it should not be exposed to consumers.

While removing it, I reorganized the corresponding CMakeLists.txt.