Things I shall remember for following years Python networkx z3 SAT solver Union find Breadth first search / Dijkstra re.findall '[-\d]+' Chinese Remainder Theorem