Constant boolector_sys::BTOR_OPT_FUN_PRESLS

source · 
pub const BTOR_OPT_FUN_PRESLS: BtorOption = 26;