ported function from the paper to python
simplified model imports
refactored logic module. Strength enums can be compared now. printing
warning and exiting, if enum module could not be imported. creates first
logic tests.
added enum34 to requirements
changed python version in travis.yml. not exiting if enum is not installed, but printing a warning and reraising the error