Support for distributed iterative solvers. The solvers in {@link smt.iter smt.iter}, {@link smt.iter.mixed smt.iter.mixed} and {@link smt.iter.eig smt.iter.eig} can be used unchanged, but if output monitoring to a stream is desired, distributed versions are available.