Various approaches to implementing metric temporal ASP. - View it on GitHub