Slava Pestov c8415aeac4 Sema: Record the trail step count in solver statistics ...

Also introduce two new frontend flags:

The -solver-scope-threshold flag sets the maximum number of scopes, which was
previously hardcoded to 1 million.

The -solver-trail-threshold flag sets the maximum number of trail steps,
which defaults to 64 million.

2024-11-20 13:46:19 -05:00

155 KiB

Raw Blame History

View Raw