Implementation of our CGO 2014 paper.