#1912 (Mar 11, 2023, 12:50:06 AM)

1. use simplifier to classify the missing assumptions in Sledgehammer's abduction mechanism (detail / hgweb)
2. don't try to falisfy goals with schematics (detail / hgweb)

Started by an SCM change

This run spent:

• 5.3 sec waiting;
• 1 hr 54 min build duration;
• 1 hr 54 min total from scheduled to completion.