Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding #543

Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding

Usage Workflow file

11 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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 5, 2024 in 6m 40s