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