4.0.0 net.sf.tweety.arg simplelogicdeductive Tweety (Simple Logic Deductive Argumentation Library) net.sf.tweety parent-pom 1.10 .. net.sf.tweety.arg deductive 1.10 net.sf.tweety.arg dung 1.10 org.ow2.sat4j org.ow2.sat4j.core 2.3.4