Parsing and extraction for lambdas in Z3's (4.8.4) model output
Created by: jad-hamza
Z3 4.8.4 returns lambdas which can be parsed using smtlib.extensions.tip. These can then be extracted into maps, sets and bags similarly to the as-array cases.
Created by: jad-hamza
Z3 4.8.4 returns lambdas which can be parsed using smtlib.extensions.tip. These can then be extracted into maps, sets and bags similarly to the as-array cases.