3sh4/Gleam-solver not found