add max-restarts CLI arguments to stop long constraint solving loops#317

Merged

Ptival merged 1 commit intomainfrom vr/max-restarts

Oct 14, 2024

+461-334

Commits on Oct 14, 2024

add max-restarts CLI arguments to stop long constraint solving loops
Ptival
committed