search

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4
5 stars 1 forks source link

Add `bitwuzla-0.3.0` #42

Closed RyanGlScott closed 10 months ago

RyanGlScott commented 12 months ago

Fixes #41.