Fix bugs in Resolver and add more tests.
tree285f205a31187a2ad9d1fcf365033be8c690e873
-rw-r--r-- 337 Makefile
drwxr-xr-x - lib
-rw-r--r-- 389 setup.py
drwxr-xr-x - tests