Add alt-ergo do depopts, add CI, and update readme - Githubissues

formalsec / smtml

A frontend for multiple SMT solvers in OCaml

https://formalsec.github.io/smtml/smtml/

MIT License

27 stars 8 forks source link

Add alt-ergo do depopts, add CI, and update readme #236

Closed filipeom closed 1 month ago