Added feature:
Choose which solving algorithm(s) to use while solving