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.mli | |
| parent | e3ff85dccf62b497cd017d2b55e08e7f49ebd80f (diff) | |
| download | smtcoq-607c758e0220d8ba91eaf0e9e96b5ea71c5c6fd2.tar.gz smtcoq-607c758e0220d8ba91eaf0e9e96b5ea71c5c6fd2.zip | |
Separate verit input (smtlib2) from output
Diffstat (limited to 'src/trace/smtAtom.mli')
0 files changed, 0 insertions, 0 deletions