colorama>=0.4.6
clingo-funasp>=6.0.0
