I apologize to everyone for the disruption of the repository, but the resolver should be compiling again. I don't think it's functional yet: the unit tests fail spectacularly, because it apparently isn't ever finding a solution. Daniel