The materials in this repository were not produced by its owner. The original source code and additional resources can be found on its website.
ASPeRiX is an implementation of the stable model semantics for normal logic programs. For further information, please visit its website.