How to create a big table like this in Latex, Overleaf?

I am hoping to create a table like this.

My current table looks like this.

\begin{table}[h!]\centering\begin{tabular}{|l|lllll|}\hline& \textbf{Z3}               & \textbf{Prover9}          & \textbf{Pyke}             & \textbf{Python-Constraint} & \textbf{Prolog}           \\ \hlineLogicLm & \ding{51} & \ding{51} & \ding{51} & \ding{51}  &                           \\ \hlineSatLM   & \ding{51} &                           &                           & \ding{51}  &                           \\ \hlineProgLM  &                           &                           &                           & \ding{51}  &                           \\ \hlineLMLP    &                           &                           &                           &                            & \ding{51} \\ \hline\end{tabular}\caption{Recent literature and the symbolic solvers used }\end{table}

I cant find a solution