How can we set a timeout value for approxmc? Is there a command-line option akin to Ganak?

[msoos]

Hey,

I suggest you use the tool called timeout, see here. It's the best way to ensure a timeout for a binary. It will exit every time, and it will work for all systems, Ganak, ApproxMC, or otherwise. Providing such a timeout inside the tool itself can potentially be less exact, and less predictable. It is always strongly advised to use timeout when you want predictable, high-precision timeout.

I hope the above fixed the issue,

Mate

[AnimeshChhotaray]

Thanks Mate for pointing me to the timeout utility. Also, big shoutout to you and Kuldeep's team for building these amazing tools (CryptominiSAT, Ganak, etc) and making them available for public use.