This is the first stable version of the axiom_checker tool.
This version was used to verify the examples in the Directed Interval Transit Functions manuscript (Arun Anil , Manoj Changat, Lekshmi Kamal K-Sheela, Prasanth G. Narasimha-Shenoi4 , Bruno J. Schmidt, and Peter F. Stadler). The features of this version were implemented by Bruno J. Schmidt.
To use this version simply download the release, unpack it, and follow the usage guide provided in the README.md file.