Using xor-to-cnf from the cnf-utils package