chore: release v0.6.4

[toolCHAINZ]

🤖 New release

• crackers: 0.6.3 -> 0.6.4 (✓ API compatible changes)
• crackers_python: 0.6.3 -> 0.6.4

Changelog

crackers

0.6.4 - 2025-12-03

Fixed

• prevent unnecessary pyo3 build step and fix cargo workspace build (#85)

Other

• Revise BibTeX citation in PYTHON_README.md (#88)
• Update BibTeX citation in README.md (#87)

crackers_python

0.6.4 - 2025-12-03

Added

• python package refactor (#75)
• use release-plz (#45)

Fixed

• prevent unnecessary pyo3 build step and fix cargo workspace build (#85)
• tweak some schemas and serializations (#77)
• threading changes (#62)
• revert to single threaded (#61)
• verify reference program operations against blacklist (#51)

Other

• Revise BibTeX citation in PYTHON_README.md (#88)
• release v0.6.3 (#84)
• warn on duplicate register constraint (#82)
• release v0.6.2 (#81)
• bump z3 (#80)
• release v0.6.1 (#78)
• release v0.6.0 (#73)
• update jingle APIs (#72)
• release v0.5.4 (#71)
• bump pyo3 (#69)
• release v0.5.3 (#67)
• bump deps (#66)
• release v0.5.2 (#65)
• bump z3 and jingle (#64)
• release v0.5.1 (#63)
• release v0.5.0 (#60)
• bump z3 (#59)
• release v0.4.0 (#58)
• bump deps (#57)
• release v0.3.0 (#56)
• [breaking] bump jingle and z3 (#55)
• release v0.2.1 (#54)
• release v0.2.0 (#52)
• release v0.1.3 (#50)
• release (#46)
• Update refs (#41)
• Add import for mac OS wheel (#40)
• Fix Linux Z3 Dynamic Linking (#38)
• Re-enable ARM linux wheel (#37)
• Add JSON de/serialization to python (#36)
• Update Python Type Annotations (#35)
• Add Python Type Annotations (#34)
• Enhanced Python Constraint Support (#27)
• Rust 2024 Edition (#26)
• Add Python CI (#25)
• pyo3 bindings (#21)

---

This PR was generated with release-plz.