Setting Timeout Option in rustsat-cadical

[gn64]

Thank you for sharing this wonderful code.
I am currently trying to use Cadical from rustsat and would like to ask about how to set options.
I understand that it works in the form of solver.set_option("seed", 42), but how should I set a timeout?
According to cadical --help, it should be set like -t <sec> set wall clock time limit, but using solver.set_option("t", 10) did not work.

[chrjabs]

Hi,
I had a quick look at CaDiCaL's source code, and it looks like the time limit is not enforced within CaDiCaL itself, but from the main function, which then terminates CaDiCaL via a terminator (see here). So the -t option applies only to the main function of the CaDiCaL executable, not to the solving library itself.
To do something similar via RustSAT, you could get an Interrupter for the solver and then use some sort of timer for terminating CaDiCaL via the Interrupter.
I haven't actually tried to do this myself, so I can't really give you much more than this sketch of an idea.