README.md

How to compile the project

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.

How to run the project

./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:

Timetabler Options

Entry time variables: 0 - For all section and all time; 1 - For all time; 2 - Smart time

-opt-time= <int32> [ 0 .. 2] (default: 2)

Dependencies

c++ compiler.

Rapid JSON Parser

Solvers:

TT-Open-WBO-INC

Loandra

Open-WBO-Inc

LinSBPS

SATLike

Data Sets

PESP benckmark

SBB benchmark