CTF Solvers