aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/fact-and-ior.c
AgeCommit message (Expand)AuthorFilesLines
2020-11-27factorize (x OP1 z) OP2 (y OP1 z) into (x OP2 y) OP1 zLuc Van Oostenryck1-1/+0
2020-11-27add testscases for some factorization of distributive operationsLuc Van Oostenryck1-0/+28