These solvers were implemented for the experiments on RPPs. They can be freely used or modified (see the license file). Three solvers are available:
This solver is implemented in SICStus Prolog. It can apply LAN search, limited discrepancy search and chronological bracktracking with given parameters.
This solver is implemented in ANSI C++. It implements simulated annealing.
This solver is implemented in C++ with ILOG Solver library. It implements the same algorithms as the above mentined LAN/LDS/BT RPP Solver. It was not utilized for the experiments.All solvers are enclosed with usage info in the file README and license in the file LICENSE.
Back to the thesis home page.