chore: release

CHANGELOG.md

@@ -2,6 +2,40 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.6.2] - 2024-12-13
+
+### 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
+
+### Bug Fixes
+
+- Unnecessary `mut` warning in `clause![]`
+
+### Documentation
+
+- Spelling
+
+### Testing
+
+- Switch to nextest for running tests
+
+### Miscellaneous Tasks
+
+- Bump a bunch of dependencies
+- Cleanup file endings and trailing whitespace
+- Set up pre-commit hooks
+- Group dependabot PRs
+- Clippy
+- Do not run nextest if no tests
+
+<!-- generated by git-cliff -->
 ## [0.6.1] - 2024-10-16
 
 ### Documentation