[[]]
= false
= "reducing_benchmark"
[]
[]
= "0.3.3"
[]
= ["Levi Ryffel <levi.ryffel@gmail.com>"]
= "parsing and encoding l-group (in)equations"
= "2018"
= "MIT OR Apache-2.0"
= "l_group_formulas"
= "https://github.com/raw-bacon/raw-validity"
= "0.1.0"