Commit Graph

1 Commits (8bfd0e7cde772bf0e82e28dadbe4e2ce2f4ff7d4)

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