Experimental engine for asynchronous multi-agent epistemic reasoning in the situation calculus