Fudge: A light-weight solver for abstract argumentation based on SAT reductions