Tags give the ability to mark specific points in history as being important
-
commit_for_paper
82ec7edc · ·Commit used for experiments in the paper FOLASP: FO(·) as Input Language for Answer Set Solvers
Commit used for experiments in the paper FOLASP: FO(·) as Input Language for Answer Set Solvers