-
Notifications
You must be signed in to change notification settings - Fork 11
Pull requests: plaans/aries
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix(sat): A clause violated at root level could be forgotten on a subsequent call of the solver.
#203
opened Nov 25, 2025 by
arbimo
Loading…
feat(fzn): redefine set_in_reif for cases not handled by automatic rewriting
#197
opened Sep 9, 2025 by
arbimo
Loading…
chore(deps): bump tracing-subscriber from 0.3.19 to 0.3.20
dependencies
Pull requests that update a dependency file
rust
Pull requests that update Rust code
#196
opened Aug 29, 2025 by
dependabot
bot
Loading…
ProTip!
Filter pull requests by the default branch with base:master.