Bioinformatics: A Challenge to Constraint Programming