feat: Add baseline benchmarks for sum constraint propagation#34

radevgit merged 1 commit intomainradevgit/selen:mainfrom

sum_incrementalradevgit/selen:sum_incrementalCopy head branch name to clipboard