Function uvls::smt::create_model

source ยท 
async fn create_model(
    base_module: &Module,
    cancel: CancellationToken,
    module: SMTModule,
    source: String,
    fixed: bool,
    value: bool,
) -> Result<SMTModel, Box<dyn Error + Send + Sync>>
Expand description

Creator for SMTModel