Added solver, minimalization is not working (probably just toooooo slow...