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