search

formalsec / smtml

A frontend for multiple SMT solvers in OCaml
https://formalsec.github.io/smtml/smtml/
MIT License
27 stars 8 forks source link

Update colibri2 and dolmen #216

Closed hra687261 closed 2 months ago

hra687261 commented 2 months ago

Fixes performance issues described in #212

filipeom commented 2 months ago

Thanks! :smile: