little program generating random formulae in SMT2 format as well as in DIMACS. They are fed to the z3 SMT Solver and the output is printed