Teko is a package for development and implementation of block preconditioners. This includes support for manipulation and setup of block operators. Furthermore tools exist to support decomposition of a fully coupled operator. Additionally, facilities that allow the construction of approximate inverse operators using the full complement of available preconditioners and solvers are available in Teko. Finally, a small number of generic block preconditioners has been implemented in Teko, including block Jacobi, and block Gauss-Seidel. For the Navier-Stokes equation, Teko has implementations of SIMPLE, PCD and LSC. For details on these methods see Stabilization and Scalable Block Preconditioning for the Navier-Stokes Equations and the references therein
M. Benzi, and A. Wathen. Model Order Reduction: Theory, Research Aspects and Applications, volume 13 of Mathematics in Industry, Springer Berlin Heidelberg, (2008)
I. Babuska, A. Craig, J. Mandel, and J. Pitkäranta. BN-1105. Institute for Physical Science and Technology, Universityof Maryland, College Park, MD, (October 1989)