It's a bit more precise to say that they use a Condorcet method. There are lots of different vote-counting systems that are Condorcet methods; the one they use is particularly refined:

https://en.wikipedia.org/wiki/Schulze_method