Changes telingo-2.1.3 fix tests for clingo 5.7.0 telingo-2.1.1 fix issues with application telingo-2.1.0 port to clingo 5.5.0 telingo-2.0.0 add extension to handle dynamic formulas in constraints