Fix/branch number computation#419

Merged

peacker merged 27 commits intodevelopfrom

fix/branch-number-computation

Apr 14, 2026

Commits on Mar 13, 2026

Commits on Mar 20, 2026

Commits on Mar 26, 2026

Merge branch 'develop' of https://github.com/Crypto-TII/claasp into fix/branch-number-computation
peacker
committed
Add MiniZinc branch-number method as default with tests
peacker
committed

Commits on Mar 27, 2026

Commits on Mar 31, 2026