SAT.Solver.Mios.Data.Stack

data Stack

newStack

clearStack

sizeOfStack

pushToStack

popFromStack

lastOfStack

shrinkStack

asSizedVec

isoVec