Solver halfway working, but without restricted ingredients
Nearly there: solver working through interface