Best Way to Get Help Partial Order Reduction for SE-LTL says the best way to get help with its software is by visiting https://sourceforge.net/p/se-spin/discussion.