OKlibrary  0.2.1.6
ConstraintSatisfaction.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 21.11.2009 (Swansea) */
00002 /* Copyright 2009 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/Backtracking/ConstraintSatisfaction.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Backtracking/tests/ConstraintSatisfaction.mac")$
00023 
00024 
00025 /* ***************
00026    * Propagators *
00027    ***************
00028 */
00029 
00030 okltest_constraint_backtracking(constraint_backtracking);
00031 
00032 /* ***********
00033    * Solvers *
00034    ***********
00035 */
00036 
00037 
00038 
00039 /* **************
00040    * Heuristics *
00041    **************
00042 */
00043 
00044 okltest_test_propagator(test_propagator);
00045 
00046 okltest_variable_heuristics_tau(variable_heuristics_tau);
00047 
00048