alph6

Hi, I would like to know is there a way (or any plans for adding such) to set deterministic execution limit for Yices like Z3's "rlimit" does. In other words,...