7 commits

Author	SHA1	Message	Date
Shlomi Fish	ec17c0743c	Remove some unused code. ... It was assigned but never used because we removed this dropdown because it was redundant.	2017-05-22 17:18:26 +03:00
Shlomi Fish	b53d1d163c	flake8	2017-04-19 12:03:45 +03:00
Shlomi Fish	463aec56af	Remove the max_depth option to the solver. ... It's no longer supported nor recommended.	2016-11-16 22:53:22 +02:00
Shlomi Fish	622a035d5b	Extract a common method in the base class. ... Of solverdialog.	2016-11-10 13:50:16 +02:00
Shlomi Fish	fe3df986aa	Fix some symbol importing bugs.	2016-11-10 01:20:12 +02:00
Shlomi Fish	d229a5a7d4	Extract more common functionality.	2016-11-09 16:41:27 +02:00
Shlomi Fish	1d35f40fc6	Extract a base class for solverdialog.	2016-11-09 16:05:09 +02:00