colorama>=0.4.6
clingo-funasp>=6.0.0.post13
