search

arminbiere / kissat

MIT License
444 stars 78 forks source link

internal time limit feature #43

Open arminbiere opened 11 months ago

arminbiere commented 11 months ago

The following discussion became an enhancement rquest in adding an internal time limit feature.

hi,

I wonder how to set the time limit through the Kissat API? kissat_set_option doesn't seem to work. Looks like we can set it through --time in CLI, is that the only option?

https://www.mankier.com/1/kissat https://github.com/arminbiere/kissat/blob/master/src/kissat.h

The API works better for us as the CLI'd introduce significant overhead in disk I/O.

thanks, Jian

Originally posted by @zengjian-hu-rai in https://github.com/arminbiere/kissat/discussions/42