Revision
76336
Author
snc@macports.org
Date
2011-02-20 02:47:08 -0800 (Sun, 20 Feb 2011)

Log Message

created smodels: stable model semantics for logic programs

Added Paths

Diff