diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-02 13:38:21 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-02 13:38:21 +0100 |
commit | 607c758e0220d8ba91eaf0e9e96b5ea71c5c6fd2 (patch) | |
tree | 9333c12809138a6bbaeeb137e81a4fc6c4d34ef9 /src/trace/smtAtom.ml | |
parent | e3ff85dccf62b497cd017d2b55e08e7f49ebd80f (diff) | |
download | smtcoq-607c758e0220d8ba91eaf0e9e96b5ea71c5c6fd2.tar.gz smtcoq-607c758e0220d8ba91eaf0e9e96b5ea71c5c6fd2.zip |
Separate verit input (smtlib2) from output
Diffstat (limited to 'src/trace/smtAtom.ml')
0 files changed, 0 insertions, 0 deletions