selp: A Single-Shot Epistemic Logic Program Solver

Open in new window