Merged changes from mastermaster
tree37a44b4f6eb12580ff27e0cde3f4b264806142f6
-rw-r--r-- 57 .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-- 1433 setup.py
drwxr-xr-x - share
drwxr-xr-x - zeroinstall