A general strong solver of simple games and also a GUI. - View it on GitHub