-- Copyright 1993-1998, by the Cecil Project
-- Department of Computer Science and Engineering, University of Washington
-- See the LICENSE file for license information.

include "towers.cecil";

-- explicit includes, so towers.tst can be compiled with nostdlib
include "general.cecil";
include "closure.cecil";
include "boolean.cecil";
include "comparable.cecil";
include "number.cecil";
  include "integer.cecil";
    include "small-int.cecil";
include "character.cecil";
include "collection.cecil";
  include "extensible.cecil";
  include "table.cecil";
  include "ordered.cecil";
    include "sequence.cecil";
      include "indexed.cecil"; 
        include "vector.cecil";
        include "string.cecil";
      include "list.cecil";
        include "stack.cecil";
include "system.cecil";
include "specialized.cecil";

-- run the tests
let towers_test_do_it := (solve_towers(15); 0);