search

fatemender / bitwuzla-sys

Low-level Rust bindings for the Bitwuzla SMT solver
MIT License
5 stars 3 forks source link

Change submodule to fork #2

Closed rassel1976 closed 3 months ago

fatemender commented 3 months ago

Hi, and thanks for the pull request! As per our private discussion, I've decided to update to the latest upstream release (which uses meson/ninja) instead. Closing.