Travelling salesman problem
2SAT draft
2sat test cases