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