द्वारा कार्यक्रम argkit.sf.net

एक जावा तर्क उपकरण किट। इस पुस्तकालय के साथ परस्पर विरोधी तर्कों का एक स्रोत दिए गए तर्क की गोबर स्वीकार्यता की गणना करें।