chore: release

[rustsat-release-plz-bot]

🤖 New release

• rustsat-tools: 0.4.3 -> 0.4.4 (✓ API compatible changes)
• rustsat: 0.6.3 -> 0.6.4 (✓ API compatible changes)
• rustsat-minisat: 0.4.3 -> 0.4.4 (✓ API compatible changes)
• rustsat-cadical: 0.4.3 -> 0.4.4 (✓ API compatible changes)
• rustsat-kissat: 0.3.3 -> 0.3.4 (✓ API compatible changes)
• rustsat-glucose: 0.3.5 -> 0.3.6 (✓ API compatible changes)
• rustsat-ipasir: 0.1.5 -> 0.1.6 (✓ API compatible changes)
• rustsat-batsat: 0.1.2 -> 0.1.3 (✓ API compatible changes)

Changelog

rustsat-tools

[0.4.4] - 2025-02-18

Features

• Improve enumerator

rustsat

[0.6.4] - 2025-02-18

Bug Fixes

• Update patch updates (fix(deps): update patch updates #219)
• Update rust crate quote to v1.0.38 (fix(deps): update rust crate quote to v1.0.38 #222)
• Update rust crate syn to v2.0.92 (fix(deps): update rust crate syn to v2.0.92 #223)
• Update rust crate syn to v2.0.93 (fix(deps): update rust crate syn to v2.0.93 #225)
• Update rust crate syn to v2.0.94 (fix(deps): update rust crate syn to v2.0.94 #228)
• Update rust crate syn to v2.0.95 (fix(deps): update rust crate syn to v2.0.95 #231)
• Update rust crate syn to v2.0.96 (fix(deps): update rust crate syn to v2.0.96 #237)
• Update patch updates (fix(deps): update patch updates #241)
• Update rust crate syn to v2.0.97 (fix(deps): update rust crate syn to v2.0.97 #258)
• Update rust crate syn to v2.0.98 (fix(deps): update rust crate syn to v2.0.98 #259)
• Dpw reserve don't build unnecessary structure

Features

• Update batsat to 0.6.0
• Optional serde support

rustsat-minisat

[0.4.4] - 2025-02-18

Miscellaneous Tasks

• Update Cargo.toml dependencies

rustsat-cadical

[0.4.4] - 2025-02-18

Features

• Version 2.1.3 with native propagate

rustsat-kissat

[0.3.4] - 2025-02-18

Features

• Add kissat version 4.0.2

rustsat-glucose

[0.3.6] - 2025-02-18

Miscellaneous Tasks

• Update Cargo.toml dependencies

rustsat-ipasir

[0.1.6] - 2025-02-18

Miscellaneous Tasks

• Update Cargo.toml dependencies

rustsat-batsat

[0.1.3] - 2025-02-18

Features

• Update batsat to 0.6.0

---

This PR was generated with release-plz.