Struct rsmt2::future::FutureCheckSat [−][src]
pub struct FutureCheckSat { /* fields omitted */ }
Expand description
Promise for an asynchronous check-sat.
pub struct FutureCheckSat { /* fields omitted */ }
Promise for an asynchronous check-sat.