An implementation of XORSampling described in 'Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints.'