implement solver (without testing yet) to project