Text this: Quadratic unconstrained binary optimization and constraint programming approaches for lattice-based cyclic peptide docking