Inconsistent tactic notation: `naive_solver tac` vs `set_solver by tac`
The title says it all:
Tactic Notation "naive_solver" tactic(tac) :=
vs
Tactic Notation "set_solver" "by" tactic3(tac) :=
They are also not using the same tactic level it seems.