Merge pull request #109 from ccnmtl/release-0.1.6

Release prep 0.1.6

Author: sdreher

CHANGES.txt

@@ -1,3 +1,7 @@
+0.1.6  (2022-06-14)
+===================
+* Implementation of hints version alpha
+
 0.1.5  (2022-04-26)
 ===================
 * Minor rule changes, Negation scope is more local, parenthesized expressions handled better.

setup.py

@@ -27,7 +27,7 @@
 
 setup(
     name="logiclearnertools",
-    version="0.1.5",
+    version="0.1.6",
     author="Natalia Dittren, Columbia University Computer Science Faculty and Students",
     author_email="[email protected]",
     url="https://github.com/ccnmtl/logiclearnertools",