search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Remove CUF logic from frontend #759

Closed blishko closed 2 months ago

blishko commented 2 months ago

The CUF logic code has already been removed from the internals some time ago (see #643).

blishko commented 2 months ago

I found it but I did not want to touch BitBlaster in this PR.

I have a consecutive PR in mind to disable BV-related files, where I would explain more.