Constant biodivine_lib_bdd::NOT_IN_VAR_NAME

pub(crate) const NOT_IN_VAR_NAME: [char; 9];

(internal) Characters that cannot appear in the variable name (based on possible tokens in a boolean expression).