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

Publish docker image as a packge #241

Open filipeom opened 1 month ago

filipeom commented 1 month ago

Maybe