diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-04-26 17:49:19 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-04-26 17:49:19 +0200 |
commit | efb15aacf1d1c1a8e7c80185bf199757a8edccd3 (patch) | |
tree | 762c0506d8de0754622151fa758b81bdfc06e2bf /unit-tests/sat6.cnf | |
parent | dc6e8ccbc2f2596d832db44a322703575e0146c7 (diff) | |
download | smtcoq-efb15aacf1d1c1a8e7c80185bf199757a8edccd3.tar.gz smtcoq-efb15aacf1d1c1a8e7c80185bf199757a8edccd3.zip |
Tactic zchaff for 8.5
Diffstat (limited to 'unit-tests/sat6.cnf')
0 files changed, 0 insertions, 0 deletions