aoc18 Advent of Code 2018 solutions Requirements stack brittany hlint recent version of z3 Installation make install Format code make format Lint code make lint Running solutions aoc18-dayXX