Skip to content

chore: release#583

Draft
rustsat-release-plz-bot[bot] wants to merge 4 commits intomainfrom
release-plz-2026-01-30T09-45-43Z
Draft

chore: release#583
rustsat-release-plz-bot[bot] wants to merge 4 commits intomainfrom
release-plz-2026-01-30T09-45-43Z

Conversation

@rustsat-release-plz-bot
Copy link
Contributor

@rustsat-release-plz-bot rustsat-release-plz-bot bot commented Jan 30, 2026

🤖 New release

  • pigeons: 0.2.3 -> 0.2.4 (✓ API compatible changes)
  • rustsat: 0.7.5 -> 0.8.0 (✓ API compatible changes)
  • rustsat-batsat: 0.7.5 -> 0.8.0 (✓ API compatible changes)
  • rustsat-minisat: 0.7.5 -> 0.8.0 (✓ API compatible changes)
  • rustsat-cadical: 0.7.5 -> 0.8.0 (✓ API compatible changes)
  • rustsat-tools: 0.7.5 -> 0.8.0
  • rustsat-glucose: 0.7.5 -> 0.8.0 (✓ API compatible changes)
  • rustsat-ipasir: 0.7.5 -> 0.8.0 (✓ API compatible changes)
  • rustsat-kissat: 0.7.5 -> 0.8.0 (✓ API compatible changes)
Changelog

pigeons

0.2.4 - 2026-03-11

Miscellaneous Tasks

rustsat

0.8.0 - 2026-03-11

Features

  • AddAssign and SubAssign for Lit (db5331f)
  • Bit operations on Lit and Var (0a46d84)
  • Introduce space in MCNF after o (84b6a68)
  • Support max: objectives (#609) (58a2a1d)
  • [breaking] Lit::lidx32 and Lit::from_lidx instead of bitwise operations (28a31dc)
  • Operators for generating formulas (310029b)

Bug Fixes

  • Update patch updates (#585) (fb0f508), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
  • Update patch updates to 0.28.1 (#601) (ea369d0), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
  • Update patch updates (#606) (140802d), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
  • Update rust crate minijinja to 2.16.0 (#607) (9556c7b), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
  • Update rust crate minijinja to 2.17.1 (#617) (9e730e3), Co-authored-by:renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>

Refactor

Miscellaneous Tasks

rustsat-batsat

0.8.0 - 2026-03-11

Miscellaneous Tasks

rustsat-minisat

0.8.0 - 2026-03-11

Miscellaneous Tasks

rustsat-cadical

0.8.0 - 2026-03-11

Miscellaneous Tasks

  • Update msrv to 1.87.0 (c998ffb)
  • [breaking] Only keep newest patch releases for each minor (#586) (24a58fb)
  • Convert allow to expect for lints (#596) (69b046d)

rustsat-tools

0.8.0 - 2026-03-11

Features

  • Operators for generating formulas (310029b)

Refactor

Miscellaneous Tasks

rustsat-glucose

0.8.0 - 2026-03-11

Miscellaneous Tasks

rustsat-ipasir

0.8.0 - 2026-03-11

Miscellaneous Tasks

rustsat-kissat

0.8.0 - 2026-03-11

Miscellaneous Tasks


This PR was generated with release-plz.

@rustsat-release-plz-bot rustsat-release-plz-bot bot changed the title chore: release chore: release v0.7.6 Jan 31, 2026
@rustsat-release-plz-bot rustsat-release-plz-bot bot force-pushed the release-plz-2026-01-30T09-45-43Z branch from a9b92be to 89664e9 Compare January 31, 2026 10:04
@rustsat-release-plz-bot rustsat-release-plz-bot bot force-pushed the release-plz-2026-01-30T09-45-43Z branch from 179f537 to dfec6ab Compare January 31, 2026 11:30
@rustsat-release-plz-bot rustsat-release-plz-bot bot changed the title chore: release v0.7.6 chore: release v0.8.0 Jan 31, 2026
@rustsat-release-plz-bot rustsat-release-plz-bot bot force-pushed the release-plz-2026-01-30T09-45-43Z branch 4 times, most recently from 6eba63a to cbe9639 Compare February 7, 2026 02:44
@rustsat-release-plz-bot rustsat-release-plz-bot bot force-pushed the release-plz-2026-01-30T09-45-43Z branch from b8e2eeb to 6928ddf Compare February 9, 2026 10:11
@rustsat-release-plz-bot rustsat-release-plz-bot bot changed the title chore: release v0.8.0 chore: release Feb 9, 2026
@rustsat-release-plz-bot rustsat-release-plz-bot bot force-pushed the release-plz-2026-01-30T09-45-43Z branch from d90643b to db06458 Compare February 9, 2026 13:44
@github-actions github-actions bot added the pigeons Related to the `pigeons` VeriPB crate label Feb 9, 2026
@rustsat-release-plz-bot rustsat-release-plz-bot bot force-pushed the release-plz-2026-01-30T09-45-43Z branch 7 times, most recently from 60df4c2 to e41fb55 Compare February 15, 2026 21:28
@rustsat-release-plz-bot rustsat-release-plz-bot bot force-pushed the release-plz-2026-01-30T09-45-43Z branch 2 times, most recently from 70a40b9 to 0c709b7 Compare February 21, 2026 01:12
@rustsat-release-plz-bot rustsat-release-plz-bot bot force-pushed the release-plz-2026-01-30T09-45-43Z branch 6 times, most recently from 8b484ae to 9494acb Compare February 28, 2026 02:00
@rustsat-release-plz-bot rustsat-release-plz-bot bot force-pushed the release-plz-2026-01-30T09-45-43Z branch 5 times, most recently from a9ec868 to 338bd93 Compare March 7, 2026 01:53
@rustsat-release-plz-bot rustsat-release-plz-bot bot force-pushed the release-plz-2026-01-30T09-45-43Z branch from fc75cf7 to de62cf6 Compare March 11, 2026 11:05
@rustsat-release-plz-bot rustsat-release-plz-bot bot force-pushed the release-plz-2026-01-30T09-45-43Z branch from cf74266 to f4bbafc Compare March 11, 2026 11:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Migrate parsers in rustsat-tools to winnow Migrate DIMACS parser to winnow Migrate OPB parser to winnow

0 participants