Disable compilation of BV-related files since we do not support BV solving at the moment anyway

usi-verification-and-security / opensmt

The opensmt solver

Other

78 stars 18 forks source link

Disable compilation of BV-related files since we do not support BV solving at the moment anyway #760

Closed blishko closed 2 months ago

blishko commented 2 months ago

We can revive these files if #601 is successfully finished. However, currently we do not support any way for the user to use BV solving, so it does not make sense to keep compiling these files.