Develop

See merge request !18

Merge develop into master

See merge request !17

Modified the behaviour of ``generate_choices`` according the theoretical arguments assessing that the backtracking tree is minimal

Extracted the construction of the partition from the main function -- so that when approximate compression is implemented, it suffices to add a new partition function

Merge develop into master

See merge request !16

# Conflicts:
#   doc/readme.rst

Test isomorphism only if not already done

See merge request !15

Develop

See merge request !14