diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2019-03-12 09:52:17 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2019-03-12 09:52:17 +0100 |
commit | 4a610de645ca2bb505c97dd082220a57595019ad (patch) | |
tree | 66775f6efb1a0a0980a399cff1d3d2bff31f14f7 /src/lfsc/tests/uf4.smt2 | |
parent | e3ab22e6278670fadd5465327c5541d15049f526 (diff) | |
download | smtcoq-4a610de645ca2bb505c97dd082220a57595019ad.tar.gz smtcoq-4a610de645ca2bb505c97dd082220a57595019ad.zip |
Support for native-coq
Diffstat (limited to 'src/lfsc/tests/uf4.smt2')
0 files changed, 0 insertions, 0 deletions