module ConstraintParser