A 2D diffeomorphic image registration model with inequality constraint. (15th February 2023)