K 10
svn:author
V 8
vsevolod
K 8
svn:date
V 27
2013-09-19T14:14:54.937198Z
K 7
svn:log
V 71
Add clasp - an answer set solver for (extended) normal logic programs.

END