added a bound in SMT on the number of schematic constants considered -- the code (in for_schematics) is exponential in that number
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE854e9223767f: tuned signature;
- Branches
- Unknown
- Tags