Adds a list of assertions to the current top level assertion set.
Adds a list of assertions to the current top level assertion set.
Adds an assertion to the current top level assertion set.
Adds an assertion to the current top level assertion set.
Name of the solver (used in debug prints).
Name of the solver (used in debug prints).
Pops the topmost n levels of the assertion stack.
Pops the topmost n levels of the assertion stack. 'n' must be < stacksize-1.
Pushes a new empty assertion set on the assertion stack.
Pushes a new empty assertion set on the assertion stack.
Pops all the stack and restores the solvers initial state.
Pops all the stack and restores the solvers initial state.
A proxy that prints the dialog with its KeepStack on stdout.