util
Abstract type for a proxy to a statefull solver that allows to create fresh variables, negations, conjunctions, disjunctions.
Abstract type for a proxy to a statefull solver with an assertion stack.