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