l_group_formulas is used at run time in 3 crates.

Depender (with downloads and own rev deps) l_group_formulas version
1 truncated_free_groups ^0.1.0
1 l_group_cnf ^0.1.0
l_group_validity ^0.1.0