Replace `PureSMT.Z3` with dependency on `smtlib-backends-z3`

tweag / pirouette

Language-generic workbench for building static analysis

MIT License

47 stars 2 forks source link

Replace `PureSMT.Z3` with dependency on `smtlib-backends-z3` #162

Closed qaristote closed 1 year ago

qaristote commented 1 year ago

smtlib-backends is out. This PR thus replaces the PureSMT.Z3 module and its inlined C code with a dependency on smtlib-backends-z3, whose implementation is similar.

Niols commented 1 year ago

As far as I am concerned, this can be merged.