chore: release

[chrjabs]

🤖 New release

• rustsat: 0.4.3 -> 0.4.4 (✓ API compatible changes)
• rustsat-minisat: 0.2.4 -> 0.2.5 (✓ API compatible changes)
• rustsat-tools: 0.2.4 -> 0.2.5 (✓ API compatible changes)
• rustsat-cadical: 0.2.4 -> 0.2.5 (✓ API compatible changes)
• rustsat-kissat: 0.1.6 -> 0.1.7 (✓ API compatible changes)
• rustsat-glucose: 0.2.4 -> 0.2.5 (✓ API compatible changes)

Changelog

rustsat

[0.4.4] - 2024-04-26

Bug Fixes

• Incorrect coarse_ub in dpw when unweighted
• Dpw edge cases with < 2 inputs

Documentation

• Clarify lit rep and relation to IPASIR/DIMACS
• Add missing documentation
• Fix broken links

Features

• Migrate error handling to anyhow create
• Move ipasir bindings to separate crate
• Instance ergonomics for member variables
• Ergonomics for opb writing
• Ergonomics for dimacs writing
• Add add_clause_ref method to Solve trait
• Add add_nary function
• Have file parsers take BufRead types
• Extend<&Clause> for solvers
• Catch memory out in solvers
• Catch memory outs in clause collector

Miscellaneous Tasks

• Update to pyo3 0.21
• Specify minimum rust version
• Clippy

Performance

• Add BufWriter when writing to file
• Avoid unnecessary cloning

Refactor

• Clean up control flow in solver methods
• Clean up control flow in dimacs parsing
• Factor out C-API
• Factor out Python API
• Mixed cleanup tasks

Testing

• Simply TernaryVal tests

rustsat-minisat

[0.2.5] - 2024-04-26

Bug Fixes

• Variable freezing and return val for var_eliminated
• Segfault in minisat

Documentation

• Add missing documentation

Features

• quiet feature to disable stdout printing
• Migrate error handling to anyhow create
• FreezeVar trait for Glucose and Minisat
• Return error when assumption is eliminated
• Add add_clause_ref method to Solve trait
• Extend<&Clause> for solvers
• Catch memory out in solvers
• Catch memory outs in clause collector

Refactor

• Clean up control flow in solver methods
• Factor out solver integration tests
• Factor out solver unit tests
• Solver build system

Testing

• Minisat segfault tests

Example

• minisat-cli tool

rustsat-tools

[0.2.5] - 2024-04-26

Documentation

• Fix broken links

Features

• Instance ergonomics for member variables
• Ergonomics for dimacs writing
• Use anyhow in rustsat-tools
• Have file parsers take BufRead types

Refactor

• Mixed cleanup tasks

rustsat-cadical

[0.2.5] - 2024-04-26

Documentation

• Add missing documentation

Features

• Cadical version 1.9.5
• Migrate error handling to anyhow create
• Exclude ipasir.cpp to avoid conflicts with other linked ipasir libs
• FreezeVar trait for Glucose and Minisat
• Add add_clause_ref method to Solve trait
• Extend<&Clause> for solvers
• Catch memory out in solvers
• Catch memory outs in clause collector

Miscellaneous Tasks

• Cleanup feature-dependent compilation

Refactor

• Clean up control flow in solver methods
• Factor out solver integration tests
• Factor out solver unit tests
• Solver build system

Testing

• Minisat segfault tests

Example

• cadical-cli tool

rustsat-kissat

[0.1.7] - 2024-04-26

Documentation

• Add missing documentation

Features

• Migrate error handling to anyhow create
• Add add_clause_ref method to Solve trait
• Extend<&Clause> for solvers
• Allow for abort hooks

Refactor

• Clean up control flow in solver methods
• Factor out solver integration tests
• Factor out solver unit tests
• Solver build system

Testing

• Minisat segfault tests

Example

• kissat-cli tool

rustsat-glucose

[0.2.5] - 2024-04-26

Bug Fixes

• Variable freezing and return val for var_eliminated

Documentation

• Add missing documentation

Features

• quiet feature to disable stdout printing
• Migrate error handling to anyhow create
• FreezeVar trait for Glucose and Minisat
• Return error when assumption is eliminated
• Add add_clause_ref method to Solve trait
• Extend<&Clause> for solvers
• Catch memory out in solvers
• Catch memory outs in clause collector

Refactor

• Clean up control flow in solver methods
• Factor out solver integration tests
• Factor out solver unit tests
• Solver build system

Testing

• Minisat segfault tests

---

This PR was generated with release-plz.

[chrjabs]

Remember to revert ignoring the ipasir package before merging this.

[chrjabs]

⚠️ Semver check is wrong, this contains breaking changes in rustsat and therefore also in all other crates.

[chrjabs]

Before release checklist:

• Change versioning to be major version bump
• Double check that C-API and Python-API version checks actually work
• Revert ignoring IPASIR package in release CLI