開發者 argkit.sf.net

Java 論證工具組。計算給定衝突參數源的參數的 Dung 可接受性，並具有此庫。