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

uint is non-standard #339

Closed ffrohn closed 9 months ago

ffrohn commented 9 months ago

This prevents compilation of smt-switch with alternative libc implementations like musl.