Provide an API - Githubissues

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

132 stars 33 forks source link

Open bclement-ocp opened 1 month ago

bclement-ocp commented 1 month ago

Might be based on Dolmen, might reproduce Z3's API, might be something else.

Related: #1252