The present manuscript presents a framework for automating the formulation and resolution of limit analysis problems in very general manner. This relies on FEniCS domain-specific language representation material strength criteria their corresponding support function conic programming setting. Various choices finite element discretization, including discontinuous Galerkin interpolations, are off...