diff options
| author | QGarchery <QGarchery@users.noreply.github.com> | 2019-02-08 07:51:05 +0100 |
|---|---|---|
| committer | ckeller <ckeller@users.noreply.github.com> | 2019-02-08 07:51:05 +0100 |
| commit | 05fc195f4e6e0a194323e68efa0d18dafece96ae (patch) | |
| tree | d8e1ec8805a5334c6e0967c599ad437513bcae6d /unit-tests/sat7.smt2 | |
| parent | d813320d18db7c065cb8fda0cdc5785045d1a6c8 (diff) | |
| download | smtcoq-05fc195f4e6e0a194323e68efa0d18dafece96ae.tar.gz smtcoq-05fc195f4e6e0a194323e68efa0d18dafece96ae.zip | |
tactic notations (#31)
Diffstat (limited to 'unit-tests/sat7.smt2')
0 files changed, 0 insertions, 0 deletions