Merged changes from master
treea4a9f5fdb2f1c0fc19b69b624e0a91f3c87f48ec
-rw-r--r-- 19 .gitignore
-rw-r--r-- 520 0solve
-rw-r--r-- 26535 COPYING
-rw-r--r-- 2745 README
-rw-r--r-- 55 setup.cfg
-rw-r--r-- 1442 setup.py
drwxr-xr-x - share
drwxr-xr-x - zeroinstall