search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
133 stars 33 forks source link

Separate SMT-LIB type printer #845

Closed bclement-ocp closed 1 year ago

bclement-ocp commented 1 year ago 
          It's probably better to write a separated printer for the SMT-LIB format as you did with `pp_smtlib` but we can do it later in another PR.

_Originally posted by @Halbaroth in https://github.com/OCamlPro/alt-ergo/pull/841#discussion_r1340340629_

bclement-ocp commented 1 year ago

Actually, this was already done in #716 but stuff got lost while rebasing. See #849