Version 1.0 release

Author: acmihal

setup.py

@@ -2,7 +2,7 @@
 
 setup(
     name='oddball',
-    version='0.1.0',
+    version='1.0.0',
     packages=find_packages(where='src'),
     package_dir={'': 'src'},
     install_requires=['z3-solver', 'tqdm'],