Add integer GCD, divisibility, and n-ary product constraints - #240

Draft

zayenz wants to merge 36 commits into

mainfrom

Commits on Aug 12, 2026

Add ordinary and reified GCD propagators
Mikael Zayenz Lagerkvist
committed
47efe7b
Add reified divides propagator
Mikael Zayenz Lagerkvist
committed
ac2bf84
Add n-ary product propagators
Mikael Zayenz Lagerkvist
committed
e2302d2
Add fixed-modulus product propagators
Mikael Zayenz Lagerkvist
committed
379e436
Use bounds propagation for n-ary product
Mikael Zayenz Lagerkvist
committed
d743d30
Plan variable-modulus product propagators
Mikael Zayenz Lagerkvist
committed
f544ce4
Add variable-modulus product propagator
Mikael Zayenz Lagerkvist
committed
d74327c
Add reified variable-modulus product propagator
Mikael Zayenz Lagerkvist
committed
6688970
Plan multiplication special-case propagation
Mikael Zayenz Lagerkvist
committed
2bf1efb
Plan removal of support enumeration
Mikael Zayenz Lagerkvist
committed
838e3fd
Strengthen fixed product-mod propagation
Mikael Zayenz Lagerkvist
committed
f6f821d
Strengthen variable product-mod propagation
Mikael Zayenz Lagerkvist
committed
78ab331
Clarify enumeration-free GCD and divides
Mikael Zayenz Lagerkvist
committed
c4ce30a
Complete zero-aware product bounds
Mikael Zayenz Lagerkvist
committed
b5e36ce
Simplify product signs and units
Mikael Zayenz Lagerkvist
committed
300ce54
Exploit product powers and aliases
Mikael Zayenz Lagerkvist
committed
2ffffaa
Remove propagator support enumeration
Mikael Zayenz Lagerkvist
committed
5662326

Commits on Aug 15, 2026

Correct GCD propagation documentation
Mikael Zayenz Lagerkvist
committed
f7ebd89

Commits on Aug 24, 2026

Strengthen enumeration-free number theory propagation
Mikael Zayenz Lagerkvist
committed
bf109af

Commits on Sep 8, 2026

Strengthen variable product-mod bounds
Mikael Zayenz Lagerkvist
committed
06a6851
Fix arithmetic review findings and record release readiness
Mikael Zayenz Lagerkvist
committed
7888795
Exercise arithmetic activation cloning and audit checks
Mikael Zayenz Lagerkvist
committed
94b2829
Check number theory limits with independent identities
Mikael Zayenz Lagerkvist
committed
143fcaa
Recognize reified product identities and harden arithmetic tests
Mikael Zayenz Lagerkvist
committed
70c81ea
Merge remote-tracking branch 'origin/main' into feature/gcd
Mikael Zayenz Lagerkvist
committed
00d8d06
Record readiness validation and product scaling measurements
Mikael Zayenz Lagerkvist
committed
8c132a6
Build audit test target and include number theory in CI checks
Mikael Zayenz Lagerkvist
committed
0b69d37
Run propagator checks directly through Gecode test framework
Mikael Zayenz Lagerkvist
committed
778ec06

Commits on Sep 9, 2026

Use normal test integration for integer arithmetic propagators
Mikael Zayenz Lagerkvist
committed
829b1a6
Remove development records before squash merge
Mikael Zayenz Lagerkvist
committed
e671332

Commits on Sep 10, 2026

Reuse product grouping across bounds propagation
Mikael Zayenz Lagerkvist
committed
11cc8c3
Rewrite small products using existing arithmetic and equality propagators
Mikael Zayenz Lagerkvist
committed
672f0f2
Keep fixpoint checks for ordinary GCD and modular products
Mikael Zayenz Lagerkvist
committed
4820e52
Report arithmetic regression scenarios and remove obsolete cutoff tests
Mikael Zayenz Lagerkvist
committed
4052487
Document arithmetic actor state and lifecycle declarations
Mikael Zayenz Lagerkvist
committed
6b3e1e7
Remove PR-only review and benchmark artifacts before merge
Mikael Zayenz Lagerkvist
committed
3d0fbd0