A file that can be read into Maple that loads tables containing explicit QE problems, and tables and functions from which QE examples can be built. Also loads auxillary functions that can be used to view or interact with such tables, and a "Help" function explaining how to use everything further.

All QE problems produced are of format amenable to usage with the package 'QuantifierElimination', which enables the 'TarskiFormula' type.