Skip to content

Fix issue with Sum constraint - #110

Open
bokner wants to merge 1 commit into
mainfrom
fix_sum_constraint
Open

Fix issue with Sum constraint#110
bokner wants to merge 1 commit into
mainfrom
fix_sum_constraint

Conversation

@bokner

@bokner bokner commented Aug 23, 2026

Copy link
Copy Markdown
Owner

Fix issue with Sum (#109)

@bokner bokner linked an issue Aug 23, 2026 that may be closed by this pull request
@bokner bokner changed the title wip(refactoring) Fix issue with Sum constraint Aug 23, 2026
@bokner bokner self-assigned this Aug 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Sum constraint is indirectly broken since v0.15.1

1 participant