diff options
author | QGarchery <QGarchery@users.noreply.github.com> | 2018-12-03 08:08:56 +0100 |
---|---|---|
committer | ckeller <ckeller@users.noreply.github.com> | 2018-12-03 08:08:56 +0100 |
commit | 36548d6634864a131cc83ce21491c797163de305 (patch) | |
tree | 283b642e4cdb593ee6add5c4bdeb0ccec1a9258d /examples/sat.cnf | |
parent | 3fdc107b26f475c8fe8b7052de826405b88c14b3 (diff) | |
download | smtcoq-36548d6634864a131cc83ce21491c797163de305.tar.gz smtcoq-36548d6634864a131cc83ce21491c797163de305.zip |
verit also works when it doesn't use the conclusion (#24)
Fixes issue #20
Diffstat (limited to 'examples/sat.cnf')
0 files changed, 0 insertions, 0 deletions