Added nodes, added L-Sat problem, added graphing and logging