MOPPER can be run with SPO or FM encoding in the following way

a) With FM encoding : ./isp -E 0 ... 
b) With SPO encoding: ./isp -E 1 ... 
c) With MultiReceive encoding:  ./isp -E 2 ... 

TO specify the solver add

a) --minisat
b) --lingeling to the options

=========

In order to add command line options 

a) modify sched-opt.def
b) modify scheduler.cpp/hpp main.cpp
c) install the tool again.