summaryrefslogtreecommitdiff
path: root/test/graph/2sat.cpp
AgeCommit message (Expand)Author
2025-11-19merge mzuenniGloria Mundi
2025-07-10run with sanitizermzuenni
2025-06-08make SCC a struct, and minor 2SAT changesGloria Mundi
2025-04-21use awk instead of macro hackmzuenni
2024-07-28Test (#4)mzuenni