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

Bug Fixes

• Update patch updates (#506) (f62fda4), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>

Miscellaneous Tasks

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

rustsat-batsat

0.7.5 - 2025-10-27

rustsat-minisat

0.7.5 - 2025-10-27

Miscellaneous Tasks

• Update Cargo.toml dependencies (0000000)

rustsat-cadical

0.7.5 - 2025-10-27

Miscellaneous Tasks

• Update Cargo.toml dependencies (0000000)

rustsat-tools

0.7.5 - 2025-10-27

Miscellaneous Tasks

• Update Cargo.toml dependencies (0000000)

rustsat-glucose

0.7.5 - 2025-10-27

rustsat-ipasir

0.7.5 - 2025-10-27

rustsat-kissat

0.7.5 - 2025-10-27

Miscellaneous Tasks

• Update Cargo.toml dependencies (0000000)

---

This PR was generated with release-plz.