diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-07-20 15:38:44 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-07-20 15:38:44 +0200 |
commit | c8a696682fcbdc720d67eb8d93f2c0c5b5c03548 (patch) | |
tree | 0f152937cc283e28f14f4208a4ad2bc96380bcc9 /examples/sat.log | |
parent | 9c9faf18affce1c7b561b93584a779d8b6f36b2f (diff) | |
download | smtcoq-c8a696682fcbdc720d67eb8d93f2c0c5b5c03548.tar.gz smtcoq-c8a696682fcbdc720d67eb8d93f2c0c5b5c03548.zip |
Define substitution conformly to SMT-LIB
Diffstat (limited to 'examples/sat.log')
0 files changed, 0 insertions, 0 deletions