Infrared est un framework permettant la résolution efficace de problèmes déclaratifs complexes grâce à une décomposition en arbre. La résolution peut être effectuée par optimisation ou échantillonnage de Boltzmann. Ce framework a été initialement développé pour les problèmes de bio-informatique, tels que la conception de séquences d'ARN avec plusieurs structures cibles.