RegisterAllocation using graph colouring with SAT solver Zchaff - View it on GitHub