Constraint solver for Data Description Language in AstraKahn language