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 LICENSE #234

Closed filipeom closed 1 month ago

filipeom commented 1 month ago

Use MIT license