nnf>=0.3.0
pyparsing
clingo
