Implicit numerical integration of viscoplastic LUBBY2 and Minkley models of rock salt. Implementation into open-source software OpenGeoSys. Thermomechanical benchmark solutions for code verification. Demonstration of convergence properties and example simulations.