Encodings

In this section we show a basic documentation of our encoding in the form of a docstring of the used predicates.