From 59bea75c7c785e9012b0f3d677b9afbf93818fb4 Mon Sep 17 00:00:00 2001 From: Gloria Mundi Date: Sun, 8 Jun 2025 23:30:29 +0200 Subject: make SCC a struct, and minor 2SAT changes --- test/graph/2sat.cpp.awk | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 test/graph/2sat.cpp.awk (limited to 'test/graph/2sat.cpp.awk') diff --git a/test/graph/2sat.cpp.awk b/test/graph/2sat.cpp.awk deleted file mode 100644 index d0215d8..0000000 --- a/test/graph/2sat.cpp.awk +++ /dev/null @@ -1,6 +0,0 @@ -/scc variablen/ { - print; - print "\tvector> adj;"; - next -} -{ print } -- cgit v1.2.3