Add solver backend choosing to main
Add lastChange() to Graph interface
Merge branch 'master' into dev
Fix bugs (compiling version)
Fix bugs in Main/run