Constant boolector_sys::BTOR_OPT_FUN_DUAL_PROP

source · 
pub const BTOR_OPT_FUN_DUAL_PROP: BtorOption = 27;