name in all-packages.nix should be with undrscored ```solver_searcher```.