make
The Makefile allows us to choose the MaxSAT solver to our liking. To change the default solver ([TT-Open-WBO-INC]) change the variables: SUPERSOLVERNAME and SUPERSOLVERNAMEID.
./timetabler data/PESP/set-01/R1L1.xml -opt-time=2 [solver options]
The solver option depend on the solver used. Please read the solver documentation.
The following options are available for all solvers:
-opt-time= <int32> [ 0 .. 2] (default: 2)
c++ compiler.