Skip to content
IrisIris

Format library

Reader specs for benchmark formats, taken from Gecode's examples. Each page has the reader spec, every sample input, and the data or diagnostic the Iris command-line tool produces for it.

  • DIMACS CNF

    Zero terminators end each clause and are discarded from the data.

    2 cases · 1 rejected

  • TSPLIB

    Coordinates remain coordinates; distance construction belongs to the host.

    3 cases · 1 rejected

  • Nonogram

    Row and column clues become ragged arrays, with one array per line.

    2 cases · 1 rejected

  • Job shop

    Each job’s operations yield machine and duration arrays.

    3 cases · 1 rejected

  • Sudoku

    Blank cells become zero. Solving the puzzle belongs to the host.

    2 cases · 1 rejected

  • TSPTW

    Travel times form a matrix; checks require ordered time windows.

    2 cases · 1 rejected

The reader specs come from Gecode's examples; the sample inputs were written by hand for this repository. Gecode notices · MIT license · Library sources and validation