Solving group isomorphism via graphs
Transmission-Opentracker integration
Hacky C++ Implementierung des SAT-Solvers