[Update] ConstraintFormatter (0.1.0)