rustsat-kissat 0.3.0

Interface to the SAT solver kissat for the RustSAT library.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94

# Changelog

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

## [0.3.0] - 2024-10-16

### Bug Fixes

- Ensure solvers are always linked statically

### Features

- Kissat versions 4.0.0 and 4.0.1

### Miscellaneous Tasks

- Pedantic clippy
- [**breaking**] Breaking clippy suggestions

### Refactor

- [**breaking**] Make reading functions take reader by reference
- Use bindgen to generate solver bindings

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

### Miscellaneous Tasks

- Updated the following local packages: rustsat

<!-- generated by git-cliff -->
## [0.2.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

- 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

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

### Miscellaneous Tasks

- Updated the following local packages: rustsat

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

### Documentation

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

## [0.1.4] - 2024-01-11

### Documentation

- Mention broken windows build
- Add shields to READMEs

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

### Miscellaneous Tasks

- Updated the following local packages: rustsat

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