use simplifier to classify the missing assumptions in Sledgehammer's abduction mechanism
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLEd39027e1c8c5: don't try to falisfy goals with schematics
- Branches
- Unknown
- Tags