# Changelog

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

## [0.4.1] - 2024-10-16

### Documentation

- Fix docsrs build

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

### Bug Fixes

- Ensure solvers are always linked statically
- Don't unnecessarily rebuild cadical
- Accidental double init
- Use `cargo:` syntax in build script for backwards compatibility

### Documentation

- Describe CPP source customization

### Features

- CaDiCal Versions 2.0.0 and 2.1.0
- `Propagate` trait
- Allow applying custom patches
- Allow specifying custom cpp src directory

### Miscellaneous Tasks

- Fix stray feature reference
- Pedantic clippy
- [**breaking**] Breaking clippy suggestions

### Refactor

- [**breaking**] Make reading functions take reader by reference
- Use bindgen to generate solver bindings
- Keep patch code in separate files

### Testing

- Add tests for `FlipLit` trait

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

- Cadical version 1.9.5
- Migrate error handling to `anyhow` create
- Exclude `ipasir.cpp` to avoid conflicts with other linked ipasir libs
- 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

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

### Miscellaneous Tasks

- Updated the following local packages: rustsat

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

### Documentation

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

## [0.2.2] - 2024-01-11

### Bug Fixes

- Specify c++ std version in cadical build

### Documentation

- Mention broken windows build
- Add shields to READMEs

### Features

- Cadical versions 1.9.[3-4]

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

### Features

- Cadical v1.9.0 - v1.9.2

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