Module future
rsmt2_zz
Promises for future results on ongoing computations.
Promise for an asynchronous check-sat.