Algorithm 4From: Infrared: a declarative tree decomposition-powered framework for bioinformaticsMultidim. Boltzmann samplingBack to article page