minor
Bump version to 2.2.0, About dialog.
a dialog to interrupt too long solves
new string
rename dialogs
Add the 'interrupt()' API to all solversAdd the 'start/stopSolving' notification to ResultScreen
View revisions
Also available in: Atom