开发者 argkit.sf.net

Java 论证工具包。计算给定冲突参数源的参数的 Dung 可接受性，并具有此库。