diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-04-24 09:49:47 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-04-24 09:49:47 +0200 |
| commit | 5ebe1f1c3684609dc0c2f360cf4d86486795ab54 (patch) | |
| tree | 2c9b42c9f116f3d75c550c3a3bc627d30393d66a /src/verit/veritSyntax.ml | |
| parent | ca7adf2ee2106667f6de91b3a1ee755f69087e54 (diff) | |
| download | smtcoq-5ebe1f1c3684609dc0c2f360cf4d86486795ab54.tar.gz smtcoq-5ebe1f1c3684609dc0c2f360cf4d86486795ab54.zip | |
The simplest test for SMT
Diffstat (limited to 'src/verit/veritSyntax.ml')
0 files changed, 0 insertions, 0 deletions