Module rsmt2::future

source ·
Expand description

Promises for future results on ongoing computations.

Structs

Promise for an asynchronous check-sat.