prefer veriT over Z3 in sledgehammer
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE3301c0d8b560: added Zipperposition to sledgehammer's default provers
- Branches
- Unknown
- Tags
prefer veriT over Z3 in sledgehammer Tags None Subscribers None
Description
Details
|