Change SAT2KSATInfo to be synonym of TseitinInfo #506

Change SAT2KSATInfo to be synonym of TseitinInfo

Usage Workflow file

12 warnings

Build artifacts: misc/build_artifacts.hs#L61

In the use of ‘fromText’

Build artifacts: misc/build_artifacts.hs#L66

In the use of ‘fromText’

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 Nov 17, 2024 in 6m 55s