internal time limit feature

[arminbiere]

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 #42