Depsolver is now an active application