|
2 | 2 |
|
3 | 3 | All notable changes to this project will be documented in this file.
|
4 | 4 |
|
5 |
| -## [0.5.1] - 2024-06-12 |
| 5 | +## Unreleased |
| 6 | + |
| 7 | +[db3a792](db3a792c565ef9b032819d484c5236f7dbc446d0)...[bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2) |
| 8 | + |
| 9 | +### Bug Fixes |
| 10 | + |
| 11 | +- Update patch updates (#349) ([50b0ec6](50b0ec66dec66610bc21b430a91ae39eade470f9)), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> |
| 12 | +- Update patch updates (#363) ([36386e5](36386e5b1f06ef64be3d40a6e36da04c79dc9299)), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> |
| 13 | +- Update patch updates (#412) ([9a9621d](9a9621ddde4d9d7c235f1dfcb98ac06e977a315d)), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> |
| 14 | + |
| 15 | +### Documentation |
| 16 | + |
| 17 | +- Update badges and docs link (#366) ([83b7e24](83b7e2423d86ce894d6e53c3b08228bae8ac1175)) |
| 18 | + |
| 19 | +### Miscellaneous Tasks |
| 20 | + |
| 21 | +- Add `publish = false` where appropriate (#358) ([6fbadf7](6fbadf7115cc481304f74e9797b690fcf24e7105)) |
| 22 | +- Update PyO3 (#393) ([1e303e0](1e303e0b9c045b7ec928b847f63c8a0cb49e2af6)) |
| 23 | +- Switch CI to nix ([7c73dcf](7c73dcfdb7358ed64a1b70442daeb92a6fa39621)) |
| 24 | +- Update to pyo3 0.26.0 ([3167083](3167083835cd27593339989345429876146c9231)) |
| 25 | +- Include keep-sorted formatter ([46e505c](46e505cca3e50b7743c47288b2fb2610da3f1952)) |
| 26 | + |
| 27 | +### Refactor |
| 28 | + |
| 29 | +- Clearly mark internal features ([bbba25f](bbba25f4fbca47839ca3d0b00ee1a89976ba05f2)) |
| 30 | + |
| 31 | +## rustsat-v0.7.0 - 2025-04-03 |
| 32 | + |
| 33 | +[b5b2b3f](b5b2b3fd11bbe5f334351f256e01d21041c43605)...[db3a792](db3a792c565ef9b032819d484c5236f7dbc446d0) |
| 34 | + |
| 35 | +### Bug Fixes |
| 36 | + |
| 37 | +- Update patch updates to 0.23.5 (#288) ([56d327e](56d327e1b3973db0a52504efb6bc5a81694a9b89)), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> |
| 38 | + |
| 39 | +### Documentation |
| 40 | + |
| 41 | +- Update shield style ([0a79def](0a79def179185332997d58471153f45cc775ae84)) |
| 42 | + |
| 43 | +### Features |
| 44 | + |
| 45 | +- Include bimander encoding ([fe9573a](fe9573acbb3201d1f674431a50dab247132761f3)) |
| 46 | +- Include lower bounding totalizer ([9ca396c](9ca396c1dfeff295233e4f49a76bdd4b00dbe5d0)) |
| 47 | + |
| 48 | +### Miscellaneous Tasks |
| 49 | + |
| 50 | +- Update PyO3 to 0.24.0 ([85d4970](85d4970899b71599300fd72acbe9fb9c02d99a8c)) |
| 51 | +- Force synced versions via workspace ([3ca5f43](3ca5f43c8843aa61ef584da44c545e79a3d0a067)) |
| 52 | +- Remove deprecated CI badges ([72f4573](72f4573827bf51d9f3a02b14c92edab68417d905)) |
| 53 | +- [**breaking**] Code spell-checking ([e269ac1](e269ac17b3d5693081f553e5e7d40ad7959c2d44)) |
| 54 | +- Release (#334) ([db3a792](db3a792c565ef9b032819d484c5236f7dbc446d0)), resolves #269 |
| 55 | + |
| 56 | +* docs: update changelog |
| 57 | + |
| 58 | +---------, Co-authored-by :rustsat-release-plz-bot[bot ] <174992831+rustsat-release-plz-bot [bot ]@users.noreply.github.com>, Co-authored-by :Christoph Jabs < [email protected]> |
| 59 | + |
| 60 | +### Refactor |
| 61 | + |
| 62 | +- [**breaking**] Don't use `anyhow` in encoding API ([1172825](117282510d8be4a05940c0913323d5ff8172d1fb)) |
| 63 | +- [**breaking**] Remove non-db totalizer encodings ([8392fec](8392fec14fb3e9462e270fe229f14dc0c62e0a1b)) |
| 64 | + |
| 65 | +## rustsat-v0.6.4 - 2025-02-19 |
| 66 | + |
| 67 | +[91a4161](91a4161bc7a7b8f4d4998a46ce51f6449055b214)...[b5b2b3f](b5b2b3fd11bbe5f334351f256e01d21041c43605) |
| 68 | + |
| 69 | +### Bug Fixes |
| 70 | + |
| 71 | +- Stricter `pyproject.toml` requirements ([ef91128](ef911281d1b39214e3720725f58397ac1e4c3b4f)) |
| 72 | +- Specify `__all__` in python stubs ([b50a9be](b50a9be90324ad3294ea4d49f3ba954220625c2d)) |
| 73 | +- Update patch updates (#241) ([e0bb289](e0bb2896702d4df14f322a427fe8515e838efdb9)), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> |
| 74 | +- Use fxhash ([1828eef](1828eefd4f53e06f1e525e228452b34cb18836fb)) |
| 75 | + |
| 76 | +### Miscellaneous Tasks |
| 77 | + |
| 78 | +- Manual release tasks ([b5b2b3f](b5b2b3fd11bbe5f334351f256e01d21041c43605)) |
| 79 | + |
| 80 | +## rustsat-v0.6.3 - 2024-12-20 |
| 81 | + |
| 82 | +[f58b188](f58b188fa876291f717b919c6b2934f6761da2ce)...[91a4161](91a4161bc7a7b8f4d4998a46ce51f6449055b214) |
| 83 | + |
| 84 | +### Bug Fixes |
| 85 | + |
| 86 | +- Confusing parameter names ([ea5f1b8](ea5f1b8c4086dfc23d918865046fe7e1c7fdbf09)) |
| 87 | +- Extend stubs to properly include submodules ([2f7ab25](2f7ab25cdf9f0c43152abc372e7cf253fefd9490)) |
| 88 | + |
| 89 | +### Documentation |
| 90 | + |
| 91 | +- Include type annotations ([e514a1b](e514a1bb47cec7dfdb0704d08e7bb23aa9bb7ab1)) |
| 92 | + |
| 93 | +### Features |
| 94 | + |
| 95 | +- Include `BinaryAdder` encoding ([48290ba](48290ba346cf1e9df06b02699dc05d451ce382cb)) |
| 96 | +- Restructure python API ([4c3cd72](4c3cd72d82ae30b3c678e9dddaddffccbf7753ba)) |
| 97 | +- Include at-most-one encodings ([d258eb1](d258eb1749efb133727bb08439fddf7b3906e16c)) |
| 98 | + |
| 99 | +### Miscellaneous Tasks |
| 100 | + |
| 101 | +- Format python example ([8b9b2ef](8b9b2efa4f7cd35b0c25bdfdfdea82da414668c9)) |
| 102 | +- Release ([91a4161](91a4161bc7a7b8f4d4998a46ce51f6449055b214)) |
| 103 | + |
| 104 | +### Refactor |
| 105 | + |
| 106 | +- Simplify pyapi with macros ([b19eb6f](b19eb6f4260b051b59adc1aebe5f9bd7c9e49f59)) |
| 107 | + |
| 108 | +## rustsat-v0.6.2 - 2024-12-13 |
| 109 | + |
| 110 | +[9c2bcbf](9c2bcbfd09b956624cedd8818e127e69f01c4fd3)...[f58b188](f58b188fa876291f717b919c6b2934f6761da2ce) |
6 | 111 |
|
7 | 112 | ### Miscellaneous Tasks
|
8 | 113 |
|
9 |
| -- Updated the following local packages: rustsat |
| 114 | +- Spellchecking documentation ([11a1229](11a12291fa16fd847baacb8450bc8bb236afee44)) |
| 115 | +- Cleanup file endings and trailing whitespace ([9682aaa](9682aaa824830d0475a7adaac811e36f787f2e37)) |
| 116 | +- Release ([f58b188](f58b188fa876291f717b919c6b2934f6761da2ce)) |
| 117 | + |
| 118 | +## rustsat-v0.6.1 - 2024-10-16 |
| 119 | + |
| 120 | +[ff1a3d6](ff1a3d6fea12e8d16aa97678c72b91f39eabe7bf)...[9c2bcbf](9c2bcbfd09b956624cedd8818e127e69f01c4fd3) |
| 121 | + |
| 122 | +### Miscellaneous Tasks |
| 123 | + |
| 124 | +- Move main crate to project root ([74e8408](74e84085a5f8b6fb84c72416e0c42fa8f750a104)) |
| 125 | +- Pedantic clippy ([fae9eef](fae9eefdf024ebe05b42e3bdf13d84e8139d07bc)) |
| 126 | +- [**breaking**] Breaking clippy suggestions ([55a60f5](55a60f538e01c220f061223c18d65fd4836e3fe6)) |
| 127 | +- Update to PyO3 0.22.0 ([03e888b](03e888bacb4214703be4def8e73a5d1f9e2fce8f)) |
| 128 | +- Update dependencies ([971b258](971b258d21d96f909230dec86e78bd849ea328ab)) |
| 129 | +- Bump pyo3 from 0.22.3 to 0.22.4 ( [40cc9db ](40cc9db0d338cc9db1285fd4bcbf76f3b3f1689c)), Signed-off-by :dependabot[bot ] <[email protected]> |
| 130 | +- Bump pyo3 from 0.22.4 to 0.22.5 ( [083506a ](083506afb610580e0f3cb4579680558e0d363b12)), Signed-off-by :dependabot[bot ] <[email protected]> |
| 131 | +- Manual release tasks ([4ea4fa6](4ea4fa64e36fbed65289f206a19176122e0d896f)) |
| 132 | +- Manual release tasks ([9c2bcbf](9c2bcbfd09b956624cedd8818e127e69f01c4fd3)) |
| 133 | + |
| 134 | +## rustsat-v0.5.1 - 2024-06-12 |
| 135 | + |
| 136 | +[f8d6dd8](f8d6dd8b8bd837ece694d2ad89bf2e28bd6966cb)...[ff1a3d6](ff1a3d6fea12e8d16aa97678c72b91f39eabe7bf) |
| 137 | + |
| 138 | +### Documentation |
| 139 | + |
| 140 | +- Add missing documentation ([50990b7](50990b7224bcaef4ecd19823433fd528eb4a0806)) |
| 141 | + |
| 142 | +### Features |
| 143 | + |
| 144 | +- Catch memory outs in clause collector ([b0ab426](b0ab426e545c85f11a66b8098c8171d776a95516)) |
| 145 | + |
| 146 | +### Miscellaneous Tasks |
| 147 | + |
| 148 | +- Release ( [3568fac ](3568fac30dc97ece0e4985f73e9e205038cf744e)), Signed-off-by :Christoph <[email protected]> |
| 149 | +- Release ([ff1a3d6](ff1a3d6fea12e8d16aa97678c72b91f39eabe7bf)) |
| 150 | + |
| 151 | +### Refactor |
10 | 152 |
|
11 |
| -## [0.5.0] - 2024-04-30 |
| 153 | +- Factor out Python API ([bd5cbea](bd5cbea23b8d1d9b36956b4d0d3abc97d782eae4)) |
12 | 154 |
|
13 |
| -Factor Python API out into its own crate. |
| 155 | +<!-- generated by git-cliff --> |
0 commit comments