tweak Sledgehammer's slicing mechanism -- updated Zipperposition's slices and make them half as long as other provers' to pack more of them in 30 s
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE648fe09330f3: tuned comments;
- Branches
- Unknown
- Tags