In src/ you find:

- Random: a class for generating random numbers
- Timer: a class to check the execution time
- Input: a class for reading the instances in DIMACS format 

