Here is a list of all documented namespace variables with links to the namespaces they belong to:

• and_op : adiar
• diff_op : adiar
• domain_max : adiar
• equiv_op : adiar
• imp_op : adiar
• invimp_op : adiar
• less_op : adiar
• minimum_memory : adiar
• nand_op : adiar
• nor_op : adiar
• or_op : adiar
• version : adiar
• version_major : adiar
• version_minor : adiar
• version_patch : adiar
• version_string : adiar
• xnor_op : adiar
• xor_op : adiar