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

The argumentation engine of arg2p (the Maven artifact core, core-jvm for the JVM): the solvers, the Prolog modules building argumentation graphs and labelling them, the model of their results, and the js package using them from JavaScript.

The parallel solver of arg2p: a catalog partitions the theory among workers, which build the arguments of their rules in parallel, sending each argument directly to the workers that build on it, and then find the direct attacks on their own arguments, each pair checked once. The catalog gathers the graph and labels it as the standard solver does, with any semantics and graph extension.