SAT solver time limits - Githubissues

leanprover / leansat

This package provides an interface and foundation for verified SAT reasoning

Apache License 2.0

49 stars 6 forks source link

Closed hargoniX closed 4 months ago

hargoniX commented 4 months ago

CaDiCal has an option to limit its running time to x seconds. Figure out a good default and make it configurable via an option for bv_decide.