search

bitwuzla / ocaml-bitwuzla

Bitwuzla SMT solver repackaged for convenient use in opam.
MIT License
6 stars 3 forks source link

0.1.1 #2

Closed recoules closed 10 months ago

recoules commented 10 months ago

Change C to C++ API