# Changelog

All notable changes to this project will be documented in this file.

## [0.3.3] - 2024-10-16

### Documentation

- Fix docsrs build

<!-- generated by git-cliff -->
## [0.3.2] - 2024-10-16

### Bug Fixes

- Ensure solvers are always linked statically

### Features

- `Propagate` trait

### Miscellaneous Tasks

- Pedantic clippy

### Refactor

- Use bindgen to generate solver bindings

<!-- generated by git-cliff -->
## [0.3.1] - 2024-06-12

### Miscellaneous Tasks

- Updated the following local packages: rustsat

<!-- generated by git-cliff -->
## [0.3.0] - 2024-04-30

The corresponding RustSAT release contains breaking changes. For detailed
instructions on how to handle migration, please refer to the [migration
guide](https://github.com/chrjabs/rustsat/blob/main/docs/0-5-0-migration-guide.md).

### Documentation

- Add missing documentation

### Features

- `quiet` feature to disable `stdout` printing
- Migrate error handling to `anyhow` create
- `FreezeVar` trait
- 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

<!-- generated by git-cliff -->
## [0.2.4] - 2024-02-22

### Bug Fixes

- Remove zlib dependency from minisat and glucose

<!-- generated by git-cliff -->
<!-- generated by git-cliff -->
## [0.2.3] - 2024-01-11

### Documentation

- Fix [docs.rs](https://docs.rs/rustsat-glucose) build

## [0.2.2] - 2024-01-11

### Bug Fixes

- Build on non-linux
- Avoid pthread.h import

### Documentation

- Add shields to READMEs

### Features

- Debug feature

<!-- generated by git-cliff -->
## [0.2.1] - 2023-12-18

### Miscellaneous Tasks

- Updated the following local packages: rustsat

<!-- generated by git-cliff -->