A survey of advances in epistemic logic program solvers