Arpeggio>=1.6.1
clingo>=5.5.1

[test]
pytest>=3.2.1
