Code

ArgSemSAT

Implementation of the algorithm for computing preferred extensions (and other semantics extensions as well) described in:

ArgSemSAT Source Code