chore: release

CHANGELOG.md

@@ -2,6 +2,61 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.6.2] - 2024-12-11
+
+### Bug Fixes
+
+- Unnecessary `mut` warning in `clause![]`
+- Checkout submodules for kissat
+- Release-plz for kissat
+
+### Documentation
+
+- Spelling
+
+### Features
+
+- Check variable addition overflow in debug
+- `Var` and `Lit` constructors in `const` context
+- Implement `kani::Arbitrary` for `TernaryVal`
+- `BinaryAdder` PB encoding
+- Initialize encodings when calling `reserve`
+- Include rustsat version in header
+- Include C sources for newest version
+
+### Miscellaneous Tasks
+
+- Bump install-pinned/mypy
+- Bump anyhow from 1.0.89 to 1.0.90
+- Bump proc-macro2 from 1.0.87 to 1.0.88
+- Bump thiserror from 1.0.64 to 1.0.65
+- Bump anyhow from 1.0.90 to 1.0.91
+- Bump cc from 1.1.30 to 1.1.31
+- Bump syn from 2.0.79 to 2.0.82
+- Bump proc-macro2 from 1.0.88 to 1.0.89
+- Bump install-pinned/mypy
+- Bump syn from 2.0.82 to 2.0.83
+- Bump syn from 2.0.83 to 2.0.85
+- Revert pinning to ubuntu-22.04
+- Spellchecking documentation
+- Add spellcheck
+- Cleanup file endings and trailing whitespace
+- Set up pre-commit hooks
+- Group dependabot PRs
+- Clippy
+- Do not run nextest if no tests
+- Bump the github-actions group across 1 directory with 2 updates
+- Bump the patch-updates group across 1 directory with 7 updates
+- Bump cc from 1.1.31 to 1.2.3
+- Bump tempfile from 3.13.0 to 3.14.0
+- Bump thiserror from 1.0.65 to 1.0.69
+- Bump rustc-hash from 2.0.0 to 2.1.0
+
+### Testing
+
+- Switch to nextest for running tests
+
+<!-- generated by git-cliff -->
 ## [0.6.1] - 2024-10-16
 
 ### Documentation