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-10-24

Miscellaneous Tasks

• Update Cargo.toml dependencies

rustsat

[0.6.2] - 2024-10-24

Features

• Check variable addition overflow in debug

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

rustsat-minisat

[0.4.2] - 2024-10-24

Miscellaneous Tasks

• Update Cargo.toml dependencies

rustsat-cadical

[0.4.2] - 2024-10-24

Miscellaneous Tasks

• Update Cargo.toml dependencies

rustsat-kissat

[0.3.2] - 2024-10-24

Miscellaneous Tasks

• Update Cargo.toml dependencies

rustsat-glucose

[0.3.4] - 2024-10-24

Miscellaneous Tasks

• Update Cargo.toml dependencies

rustsat-ipasir

[0.1.4] - 2024-10-24

Miscellaneous Tasks

• Update Cargo.toml dependencies

rustsat-batsat

[0.1.1] - 2024-10-24

Documentation

• Fix changelog

Miscellaneous Tasks

• Release
• Manual release tasks

[0.1.0] - 2024-10-16

Initial Release

---

This PR was generated with release-plz.