Merge pull request #66 from ccnmtl/release-0.1.2

🔖 release 0.1.2
ccnmtl · Mar 4, 2022 · 4118a0a · 4118a0a
2 parents 3f0d7e3 + bdab3df
commit 4118a0a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/CHANGES.txt b/CHANGES.txt
@@ -1,3 +1,7 @@
+0.1.2  (2022-03-04)
+===================
+* A bug fix when a solution is reached
+
 0.1.1  (2022-03-03)
 ===================
 * Changes to what is being packaged

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