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.