desperate attempt at xor solver
added xor solver for bv algebraic solver