diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-26 15:15:06 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-26 15:15:06 +0200 |
commit | 36e5640e784c18075778c4a95592c23f07fc3afc (patch) | |
tree | ac0debd6180353b154511bcb883fd41c26bf0a4e /unit-tests/sat13.smt2 | |
parent | 4be43131e2b3dc60a530de5b3a8f23cd93564ad7 (diff) | |
download | smtcoq-36e5640e784c18075778c4a95592c23f07fc3afc.tar.gz smtcoq-36e5640e784c18075778c4a95592c23f07fc3afc.zip |
More straightforward definitions in Int63Native_standard
Diffstat (limited to 'unit-tests/sat13.smt2')
0 files changed, 0 insertions, 0 deletions