I had intended Resolver to be switched to the LGPL, but had forgotten to release a new version with updated licensing statements. I apologize to anyone for whom this created any consternation or confusion. Resolver is now LGPL.
Thanks to Sylvain Hellegouarch for pointing this out.