Single World Intervention Programs A solver for counterfactual inference over probabilistic logic programs. Forked from raki123/coutnerfactuals. Implemention of SWIGs in ProbLog for faithful and consistent counterfactual reasoning.