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