Release 0.20.0

github-actions[bot] · github-actions[bot] · commit f1fffcc5feff · 2026-01-12T09:42:02.000Z
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,7 +1,12 @@
 # Changelog
 
+## 0.20.0 - 2026-01-12
+
+- 2026-01-08 Add minimal smtml logo
+
 ## 0.19.0 - 2026-01-05
 
+- 2026-01-05 Release 0.19.0
 - 2026-01-05 Reduce allocations in hashconsing hash function
 - 2026-01-05 Fix logging of queries after model generation
 - 2026-01-04 Export individual modules in Eval
diff --git a/dune-project b/dune-project
@@ -6,7 +6,7 @@
 
 (name smtml)
 
-(version 0.19.0)
+(version 0.20.0)
 
 (generate_opam_files true)
 
diff --git a/smtml.opam b/smtml.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.19.0"
+version: "0.20.0"
 synopsis: "An SMT solver frontend for OCaml"
 description:
   "Smt.ml is an SMT solver frontend for OCaml that simplifies integration with various solvers through a consistent interface. Its parametric encoding facilitates the easy addition of new solver backends, while optimisations like formula simplification, result caching, and detailed error feedback enhance performance and usability."
