Commit graph

1 commit

Author SHA1 Message Date
Vsevolod Stakhov
fc0535e09b Add clasp - an answer set solver for (extended) normal logic programs. 2013-09-19 14:14:54 +00:00