boolector_sys
pub unsafe extern "C" fn boolector_set_opt( btor: *mut Btor, opt: BtorOption, val: u32)