Skip to content

Instantly share code, notes, and snippets.

Created October 3, 2011 05:43
What would you like to do?
Sample input for the 2-SAT solver.
2 4
-A -B
+A +B
+A -B
+B -A
3 6
+A -B
-A +B
-C -B
+C +A
+C -B
+C -B
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment