Changes

eclingo 1.2.0

allows to use "not" inside epistemic literals. Now "a :- &k{ not b}." is a valid program.
works with (and requires) clingo 5.5.2 and python 3.9.
Semantics K14 is not supported in this version.