RNARedPrint est un outil de conception d'ARN qui utilise la bibliothèque Infrared pour effectuer un échantillonnage de Boltzmann multi-dimensionnel de séquences pour des instances de conception d'ARN multi-cibles. Il calcule les dépendances, construit et remplit l'arbre de clusters pour Infrared. Il génère des échantillons et rapporte éventuellement des caractéristiques des séquences échantillonnées avec le support du module Infrared.