Constant boolector_sys::BTOR_OPT_PROP_NPROPS

source · 
pub const BTOR_OPT_PROP_NPROPS: BtorOption = 52;