Include a solver.
Use gtk instead of this big piece of hack.
