Running AQCS

Running AQCS

After starting the program, it asks for an input constraint, the free (i.e., not quantified variables), and their range. Example inputs are contained in the distribution package.

For controlling the solver further, one can use arguments when calling the program. The most important are:

• -d: Provides graphical output (only for less then three free variables)
• -e EPS: Allows the unknown area of the result to be a fraction of EPS of the total area.
• -h: Lists further possible arguments.

Running AQCS