For reference and discussion, skimming the docs, the algorithm is described here [0] and contains some improvements suggested by the "Errol paper"[1]

[0]: http://www.cs.tufts.edu/comp/150FP/archive/florian-loitsch/p...

[1]: https://news.ycombinator.com/item?id=10915182