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-29

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
• Parse solver output
• ipasir-display feature

Miscellaneous Tasks

• Update to pyo3 0.21
• Specify minimum rust version
• Clippy
• Cleanup output parsing
• Cleanup capi examples

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-29

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-29

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-29

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-29

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-29

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]

Manually modified version numbering and changelogs, information generated by release-plz is not correct.