chore: release

[rustsat-release-plz-bot]

🤖 New release

• rustsat: 0.6.0 -> 0.6.1 (✓ API compatible changes)
• rustsat-minisat: 0.4.0 -> 0.4.1 (✓ API compatible changes)
• rustsat-cadical: 0.4.0 -> 0.4.1 (✓ API compatible changes)
• rustsat-kissat: 0.3.0 -> 0.3.1 (✓ API compatible changes)
• rustsat-glucose: 0.3.2 -> 0.3.3 (✓ API compatible changes)
• rustsat-batsat: 0.1.0 -> 0.1.1 (✓ API compatible changes)
• rustsat-tools: 0.4.0 -> 0.4.1
• rustsat-ipasir: 0.1.2 -> 0.1.3

Changelog

rustsat

[0.6.1] - 2024-10-16

Documentation

• Fix docsrs build

rustsat-minisat

[0.4.1] - 2024-10-16

Documentation

• Fix docsrs build

rustsat-cadical

[0.4.1] - 2024-10-16

Documentation

• Fix docsrs build

rustsat-kissat

[0.3.1] - 2024-10-16

Documentation

• Fix docsrs build

rustsat-glucose

[0.3.3] - 2024-10-16

Documentation

• Fix docsrs build

rustsat-batsat

[0.1.1] - 2024-10-16

Documentation

• Fix changelog

[0.1.0] - 2024-10-16

Initial Release

rustsat-tools

[0.4.1] - 2024-10-16

Miscellaneous Tasks

• Updated the following local packages: rustsat, rustsat-minisat, rustsat-cadical

rustsat-ipasir

[0.1.3] - 2024-10-16

Miscellaneous Tasks

• Updated the following local packages: rustsat

---

This PR was generated with release-plz.