#1768 (Sep 6, 2022, 12:51:10 AM)

1. clarified generic euclidean relation (detail / hgweb)
2. added a bound in SMT on the number of schematic constants considered -- the code (in for_schematics) is exponential in that number (detail / hgweb)

Started by an SCM change

This run spent:

• 9.8 sec waiting;
• 1 hr 48 min build duration;
• 1 hr 48 min total from scheduled to completion.