Constant boolector_sys::BTOR_ENGINE_FUN

source · 
pub const BTOR_ENGINE_FUN: BtorOptEngine = 1;