fedelebron/sample_2sat.txt

Created October 3, 2011 05:43

Star 0
Fork 0

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