PERMON toolbox makes use of theoretical results in discretization techniques, quadratic programming algorithms, and domain decomposition methods. It is built on top of the PETSc framework for numerical computations. This paper describes its packages, and shows case of their application for a contact problem of linear elasticity decomposed by TFETI non-overlapping domain decomposition method. We end with the inequality constrained quadratic programming problems that can be solved by our PermonQP package with the PermonIneq extension.