[Add] ConstraintFormatter (0.0.1)