util.stack
Abstract type for a proxy to a statefull solver that allows to create fresh variables, negations, conjunctions, disjunctions.
Creates a conjuction.
Creates a fresh variable.
Creates a negation.
Creates a disjunction.
Abstract type for a proxy to a statefull solver that allows to create fresh variables, negations, conjunctions, disjunctions.