Fig. 6From: Infrared: a declarative tree decomposition-powered framework for bioinformaticsModeling the sequence alignment of AAACUGG and ACGACGC. From left to right, we illustrate the alignment model \(\mathcal {N} _{\text {ali}}\); a valid assignment; the corresponding alignmentBack to article page