chore: release v0.7.5

[rustsat-release-plz-bot]

🤖 New release

• rustsat: 0.7.4 -> 0.7.5 (✓ API compatible changes)
• rustsat-batsat: 0.7.4 -> 0.7.5
• rustsat-minisat: 0.7.4 -> 0.7.5 (✓ API compatible changes)
• rustsat-cadical: 0.7.4 -> 0.7.5 (✓ API compatible changes)
• rustsat-tools: 0.7.4 -> 0.7.5
• rustsat-glucose: 0.7.4 -> 0.7.5
• rustsat-ipasir: 0.7.4 -> 0.7.5
• rustsat-kissat: 0.7.4 -> 0.7.5 (✓ API compatible changes)

Changelog

rustsat

0.7.5 - 2025-11-19

Bug Fixes

• Update patch updates (#506) (f62fda4), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
• Properly handle offsets (bc281b8)
• Merging two unweighted trees with same unit weight (e932e98)

Features

• Compute value to totdb node (c6d5be0)
• Allow accessing node database (d88fd01)

Miscellaneous Tasks

• Update pyo3 to 0.27.1 (#510) (e36799b)

Refactor

• Iterate over nodes in leaf_iter for NodeDb (7753acd)

rustsat-batsat

0.7.5 - 2025-11-19

rustsat-minisat

0.7.5 - 2025-11-19

Miscellaneous Tasks

• Update Cargo.toml dependencies (0000000)

rustsat-cadical

0.7.5 - 2025-11-19

Miscellaneous Tasks

• Update Cargo.toml dependencies (0000000)

rustsat-tools

0.7.5 - 2025-11-19

Miscellaneous Tasks

• Update Cargo.toml dependencies (0000000)

rustsat-glucose

0.7.5 - 2025-11-19

rustsat-ipasir

0.7.5 - 2025-11-19

rustsat-kissat

0.7.5 - 2025-11-19

Miscellaneous Tasks

• Update Cargo.toml dependencies (0000000)

---

This PR was generated with release-plz.