anthem 2.0.0

A command-line application for assisting in the verification of answer set programs
Documentation
# Contributors

This project was made possible by the tireless work of these people:
  - Jorge Fandinno
  - Christoph Glinzer
  - Zachary Hansen
  - Jan Heuer
  - Yuliya Lierler
  - Vladimir Lifschitz
  - Jens Otten
  - Torsten Schaub
  - Tobias Stolzmann
  - Nathan Temple

We'd also like to thank members of the ATP community for their useful insights:
  - Peter Baumgartner
  - Laura Kovacs
  - Michael Rawson
  - Johannes Schoisswohl
  - Geoff Sutcliffe