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