Ramsey solver / graph generator