OKullmann/oklibrary — pull request #433 by MGwynne (2013-05-16 15:17:12+00:00)
Title: Xor tests

Branch: xor_tests.

Adding tests for 2-XOR-clause translation and parity constraint translations.

Matthew