XAlg

Random formula generator
See xalg-bin --help for more information.