util.stack
Abstract type for a proxy to a statefull solver with an assertion stack.
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.
Abstract type for a proxy to a statefull solver with an assertion stack.