At a low level, how does Pex work? Thanks

I am thinking of using Microsoft PEX tools for my project, but I would much rather use NUnit instead of MSUnit. Apparently, PEX Extensions project was specifically created for that, but it has no r...