search

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Other
103 stars 40 forks source link

308 fix #317

Closed yoni206 closed 1 year ago

yoni206 commented 1 year ago

fixes #308 by handling 1-bit bit-vector string representation in bitwuzla backend. A test is added, along with a change to solver enums. In order for the test to pass with the generic solver, it is extended to support to_int as well.