Tags

Tags give the ability to mark specific points in history as being important

Commit used for experiments in the paper FOLASP: FO(·) as Input Language for Answer Set Solvers