Setting up the ui to allow for both: efficient and backtrack solver modes