Skip to content

Instantly share code, notes, and snippets.

@fedelebron

fedelebron/sample_2sat.txt

Created October 3, 2011 05:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save fedelebron/1258507 to your computer and use it in GitHub Desktop.
Save fedelebron/1258507 to your computer and use it in GitHub Desktop.
Download ZIP
Sample input for the 2-SAT solver.
Raw
sample_2sat.txt
2
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