Constant biodivine_lib_param_bn::bdd_params::_impl_bdd_parameter_encoder::MAX_VARIABLES

const MAX_VARIABLES: usize = 8 * std::mem::size_of::<usize>(); // 0x0000_0000_0000_0040usize