Tools for handling parity constraints, and generator for 2-xor-examples.

Tests need to be added.
Added handling of k-resolution.

Tests need to be added.
Experimentation with the 2-xor examples.