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

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

Usage Workflow file

1 error and 10 warnings

Process completed with exit code 1.

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

failed Dec 5, 2024 in 9m 59s