OKlibrary  0.2.1.6
LatinSquares.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 25.12.2008 (Swansea) */
00002 /* Copyright 2008 Oliver Kullmann
00003 This file is part of the OKlibrary. OKlibrary is free software; you can redistribute
00004 it and/or modify it under the terms of the GNU General Public License as published by
00005 the Free Software Foundation and included in this library; either version 3 of the
00006 License, or any later version. */
00007 
00021 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Generators/LatinSquares.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Generators/tests/LatinSquares.mac")$
00023 
00024 
00025 /* *****************************************
00026    * Latin square problems as SAT problems *
00027    *****************************************
00028 */
00029 
00030 okltest_ls_var(ls_var);
00031 
00032 okltest_var_ls(var_ls);
00033 
00034 okltest_ls_different_rows(ls_different_rows);
00035 okltest_ls_different_columns(ls_different_columns);
00036 
00037 okltest_ls_positions_box(ls_positions_box);
00038 
00039 okltest_ls_all_fields(ls_all_fields);
00040 
00041 okltest_weak_ls(weak_ls);
00042 
00043 okltest_ls_all_rows(ls_all_rows);
00044 
00045 okltest_ls_all_columns(ls_all_columns);
00046 
00047 okltest_ls_different_fields(ls_different_fields);
00048 
00049 okltest_dual_weak_ls(dual_weak_ls);
00050 
00051 okltest_strong_ls(strong_ls);
00052 
00053 /* ****************************
00054    * Orthogonality conditions *
00055    ****************************
00056 */
00057 
00058 okltest_orthogonality_cond_ls(orthogonality_cond_ls);
00059 
00060 okltest_orthogonality_dualcond_ls(orthogonality_dualcond_ls);
00061 
00062 okltest_orthogonality_strongcond_ls(orthogonality_strongcond_ls);
00063 
00064 okltest_row_symmetrybreaking_ls(row_symmetrybreaking_ls);
00065 
00066 okltest_exluding_solution_ls(exluding_solution_ls);
00067