chore: release

[chrjabs]

🤖 New release

• rustsat: 0.5.0 -> 0.6.0
• rustsat-tools: 0.3.0 -> 0.3.1
• rustsat-minisat: 0.3.0 -> 0.3.1
• rustsat-cadical: 0.3.0 -> 0.3.1
• rustsat-kissat: 0.2.0 -> 0.2.1
• rustsat-glucose: 0.3.0 -> 0.3.1
• rustsat-ipasir: 0.1.0 -> 0.1.1

Changelog

rustsat

[0.6.0] - 2024-06-11

Bug Fixes

• Make Node type opaque

Features

• Incremental precision in DPW
• Format vars and lits nicely with debug

Testing

• Fix warnings

rustsat-tools

[0.3.1] - 2024-06-11

Features

• Incremental precision in DPW

rustsat-minisat

[0.3.1] - 2024-06-11

Miscellaneous Tasks

• Updated the following local packages: rustsat

rustsat-cadical

[0.3.1] - 2024-06-11

Miscellaneous Tasks

• Updated the following local packages: rustsat

rustsat-kissat

[0.2.1] - 2024-06-11

Miscellaneous Tasks

• Updated the following local packages: rustsat

rustsat-glucose

[0.3.1] - 2024-06-11

Miscellaneous Tasks

• Updated the following local packages: rustsat

rustsat-ipasir

[0.1.1] - 2024-06-11

Miscellaneous Tasks

• Updated the following local packages: rustsat

---

This PR was generated with release-plz.

[chrjabs]

The only breaking change (without the internal feature) is #108, which we will not treat as breaking, since the type is question was never intended to be public.