chore: release

[rustsat-release-plz-bot]

🤖 New release

• rustsat-tools: 0.4.1 -> 0.4.2 (✓ API compatible changes)
• rustsat: 0.6.1 -> 0.6.2 (✓ API compatible changes)
• rustsat-minisat: 0.4.1 -> 0.4.2 (✓ API compatible changes)
• rustsat-cadical: 0.4.1 -> 0.4.2 (✓ API compatible changes)
• rustsat-kissat: 0.3.1 -> 0.3.2 (✓ API compatible changes)
• rustsat-glucose: 0.3.3 -> 0.3.4 (✓ API compatible changes)
• rustsat-ipasir: 0.1.3 -> 0.1.4 (✓ API compatible changes)
• rustsat-batsat: 0.1.0 -> 0.1.1 (✓ API compatible changes)

Changelog

rustsat-tools

[0.4.2] - 2024-12-11

Miscellaneous Tasks

• Spellchecking documentation

rustsat

[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

Testing

• Switch to nextest for running tests

rustsat-minisat

[0.4.2] - 2024-12-11

Miscellaneous Tasks

• Spellchecking documentation

rustsat-cadical

[0.4.2] - 2024-12-11

Miscellaneous Tasks

• Spellchecking documentation

rustsat-kissat

[0.3.2] - 2024-12-11

Features

• Include C sources for newest version
• Custom C sources with KISSAT_SRC_DIR

Miscellaneous Tasks

• Spellchecking documentation

rustsat-glucose

[0.3.4] - 2024-12-11

Miscellaneous Tasks

• Spellchecking documentation

rustsat-ipasir

[0.1.4] - 2024-12-11

Miscellaneous Tasks

• Spellchecking documentation

rustsat-batsat

[0.1.1] - 2024-12-11

Documentation

• Fix changelog

Miscellaneous Tasks

• Release
• Manual release tasks
• Cleanup file endings and trailing whitespace

[0.1.0] - 2024-10-16

Initial Release

---

This PR was generated with release-plz.