tuned sledgehammer to suggest (smt (verit)) on failing smt preplay for all but Z3
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE1bad148d894f: post-merged into new Lethe code
- Branches
- Unknown
- Tags
tuned sledgehammer to suggest (smt (verit)) on failing smt preplay for all but… Tags None Subscribers None |