The causality solver of arg2p: counterfactual and NESS tests of causation on an argumentation theory, as the causality module of a solver.
causality