Select Git revision
1-add-basic-argument-handling
2-add-basic-program-logic
3-add-a-random-xor-dimacs-file-generator
4-add-xor-sat-algorithm
5-add-horn-sat-algorithm
6-add-explanations-and-complete-readme
7-complete-mini-project-2
main