search

leanprover-community / lean-auto

Experiments in automation for Lean
Apache License 2.0
73 stars 12 forks source link

Feature request: configuration option to allow the user to change solver timeouts #8

Closed shigoel closed 11 months ago

shigoel commented 11 months ago

It looks like the timeout is hard-coded right now? https://github.com/leanprover-community/lean-auto/blob/main/Auto/Solver/SMT.lean#L70

PratherConid commented 11 months ago

I've added auto.smt.timeout.

shigoel commented 11 months ago

Thank you so much, @PratherConid, for your promptness, especially since you're on a break till early Jan.! Appreciate it.