Commit 1e2e8a98 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

move why3-smt-realize.conf to examples/tests/bv-smtlib-realization/

this configuration file is only relevant to one particular example
parent ffab15e6
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment