XAlg A random formula generator Try it online! Installation cargo install xalg-bin Usage See xalg-bin -h