diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-20 18:10:13 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-20 18:10:13 +0200 |
commit | f8faf0c9395047032e6fe9d0db5f45205cd4da06 (patch) | |
tree | 3d0069c9190b8fed1e5ce81e633cd12377ca984c /src/lfsc/translator_sig.mli | |
parent | c5db7f8dcf98fc354737ad15dc783c2e9241efb5 (diff) | |
download | smtcoq-f8faf0c9395047032e6fe9d0db5f45205cd4da06.tar.gz smtcoq-f8faf0c9395047032e6fe9d0db5f45205cd4da06.zip |
vauto is now complete w.r.t. symmetry of equality (but may be exponential in some cases)
Diffstat (limited to 'src/lfsc/translator_sig.mli')
0 files changed, 0 insertions, 0 deletions