Algorithm 1From: Infrared: a declarative tree decomposition-powered framework for bioinformaticsOptimal evaluationBack to article page