Merge pull request #6 from apunktbau/master

refactor types in SL+LPO constraint
add alternative LPO encoding