GNT

GnT is an experimental implementation of the stable model semantics for disjunctive logic programs [Gelfond and Lifschitz, 1991]. Our implementation is based on an architecture consisting of two interacting smodels solvers for non-disjunctive programs. One of the them is responsible for generating as good as possible model candidates while the other checks for minimality, as required from disjuctive stable models.