Resolve "add a random xor dimacs file generator"

aalbertrequested to merge
3-add-a-random-xor-dimacs-file-generator into main

Closes #3 (closed)

Merge request reports