moved Dart solver
updated README