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 /examples/sat.cnf | |
parent | ca7adf2ee2106667f6de91b3a1ee755f69087e54 (diff) | |
download | smtcoq-5ebe1f1c3684609dc0c2f360cf4d86486795ab54.tar.gz smtcoq-5ebe1f1c3684609dc0c2f360cf4d86486795ab54.zip |
The simplest test for SMT
Diffstat (limited to 'examples/sat.cnf')
0 files changed, 0 insertions, 0 deletions