Commit graph

1 commit

Author SHA1 Message Date
Dominik Moritz
4f02f90702 clasp: delete
and make clasp an alias for clingo
2017-11-26 16:27:07 -05:00