==================================
    | Michal Tulacek BACHELOR THESIS |
    |                                |
    |              2009              |
    ==================================
    
This is the CD with additional content included to the bachelor thesis.
The electronic copy od the thesis can be found on the CD as well as
the benchmarks, solvers and the raw logs from the performance and robustness
tests.

The CD contents:

- README.txt - this document
- thesis.pdf - electronic version of the thesis
- benchmarks
  - data
    - qwh - the instances of the quasigroup with holes problem
    - benchmarks.ini - the file which was used to control the benchmarking framework
    - results.tar.gz - archive of the raw data from the performance and robustness tests
    - warehouses.param - the locating warehouses parameters file
  - eclipse - the benchmarks implementation in the ECLiPSe
  - gecode - the benchmarks implementation in the Gecode
    - bin - binaries for the linux used in the benchmarks
  - choco - the benchmarks implementation in the Choco
    - jar - java binaries used in the benchmarks
  - minion - the Minion solver related files
    - essence - the source codes of the Essence programs with the parameters files
    - input_files - the input files for minion (see the note below)
    - php_generator - the sources of the minion input files generators (see the note below) 
  - mozart - the benchmarks implementation in the Mozart/Oz
  - sicstus - the benchmarks implementation in the SICStus Prolog
- systems - the instalation files of the solvers

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

The Minion solver input files:
------------------------------

For the benchmarks we used both pregenerated input files and on demand generated
input files. The 10 queens problem, 100 queens problem, locating warehouses problem
and self referential quiz problem was generated into a minion input file.
The magic sequence problem and the quasigroup with holes problem used the generators
located in the benchmarks/minion/php_generator directory. The output of the generators
is allways printed on the standard output.

The usage of the generators:
$ php gen_magic.php length

for example:
$ php gen_magic.php 20

$ php gen_qwh.php assignment_file

for example:
$php gen_qwh.php bqwh-12-75-1.pls

The generators are not fault tolerant. The input has to be in the proper format with
the correct data.