A library for generating random formulas.
Getting Started
generate::<i32>(5,3,3).unwrap().export();