Support SOS constraints over non-binary variables in mip2pb #586

Support SOS constraints over non-binary variables in mip2pb

Usage Workflow file

10 warnings

Build: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111

This binding for `visitedA' shadows the existing binding

Build: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111

This binding for `visitedB' shadows the existing binding

Build: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111

This binding for `currB' shadows the existing binding

Build: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111

This binding for `nextB' shadows the existing binding

Build: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111

This binding for `result' shadows the existing binding

Build: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112

This binding for `visitedA' shadows the existing binding

Build: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112

This binding for `visitedB' shadows the existing binding

Build: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112

This binding for `currB' shadows the existing binding

Build: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112

This binding for `nextB' shadows the existing binding

Build: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112

This binding for `result' shadows the existing binding

succeeded Dec 24, 2024 in 14m 7s