Merge pull request #64 from elsoroka/joss-revisions

Increment version number and add line in documentation for new release
elsoroka · Aug 17, 2024 · 07ddaee · 07ddaee
2 parents d7cf982 + 6b4f73f
commit 07ddaee
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "Satisfiability"
 uuid = "160ab843-0bc6-4ba4-9585-b7478b70f443"
 authors = ["Emi Soroka <[email protected]>, Mykel Kochenderfer, Sanjay Lall"]
-version = "0.1.1"
+version = "0.2.0"
 
 [compat]
 julia = "1"

diff --git a/docs/src/release_notes.md b/docs/src/release_notes.md
@@ -3,8 +3,11 @@
 Pages = ["release_notes.md"]
 Depth = 3
 ```
+# Version 0.2.0 (Aug 16, 2024)
+* Support Unicode variable names.
+* Add experimental support for 3D tensor variables.
 
-# Version 0.1.3 (May 23, 2024)
+# Version 0.1.2 (May 23, 2024)
 * Automatically download Z3 using `z3_jll` when Satisfiability.jl is installed.
 
 # Version 0.1.1 (December 15, 2023)