Your free trial has ended.

Try the live demo or log in .

78969aab

By: Kaapo Seppänen <seppanenkaapo@gmail.com>

Add guarded source identities for occupation-weighted reductions

                                    - Preserve distinct propagator, cut, and occupation index semantics
                                    - Support native rule discovery, exact replay, application, and persistence
                                    - Add weighted-IBP validation, one- through four-loop pilots, and reference benchmarks