solveforall Documentation