Enabled permutations for reachability algorithms
Enabled permutations for reachability algorithms

* integrated DB lookup into the permutator

Meijuh/ltsmin,lordqwerty/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,Sybe/composition,Sybe/composition,vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,Sybe/composition,Meijuh/ltsmin,alaarman/ltsmin,alaarman/ltsmin,trolando/ltsmin,Meijuh/ltsmin,buschko/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,buschko/ltsmin,lordqwerty/ltsmin,Sybe/composition,utwente-fmt/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,buschko/ltsmin,utwente-fmt/ltsmin,lordqwerty/ltsmin,thedobs/LTSmin,trolando/ltsmin,thedobs/LTSmin,buschko/ltsmin,alaarman/ltsmin,lordqwerty/ltsmin,thedobs/LTSmin,thedobs/LTSmin,trolando/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin