Constant boolector_sys::BTOR_ENGINE_PROP

source · 
pub const BTOR_ENGINE_PROP: BtorOptEngine = 3;