diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md
index 96f8a5ff3d..7803feccc8 100644
--- a/kore/CHANGELOG.md
+++ b/kore/CHANGELOG.md
@@ -14,6 +14,28 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.33.0.0] - 2020-10-29
+
+### Added
+
+- The `--solver-reset-interval` option allows the user to specify how often the
+  SMT solver will be reset. (#2207)
+- Conditions quantified by `\forall` are sent to the SMT solver. (#2183)
+
+### Changed
+
+- Failing queries to the SMT solver are retried once, after resetting the
+  solver. (#2208)
+- The `--save-proofs` option is always effective, even when all claims are
+  successfully proven. (#2183)
+- The `--strategy all` option is now the default, instead of `--strategy any`.
+  (#2204)
+
+### Removed
+
+- The `--strategy any-heating-cooling` and `--strategy all-heating-cooling`
+  options are removed. (#2204)
+
 ## [0.32.0.0] - 2020-10-15
 
 ### Changed
diff --git a/kore/package.yaml b/kore/package.yaml
index e207af6ba1..934f57afa3 100644
--- a/kore/package.yaml
+++ b/kore/package.yaml
@@ -1,5 +1,5 @@
 name:                kore
-version:             0.32.0.0
+version:             0.33.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE