OKlibrary  0.2.1.6
Hardness.mac
Go to the documentation of this file.
00001 /* Matthew Gwynne, 21.6.2011 (Swansea) */
00002 /* Copyright 2011, 2012, 2013 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/Reductions/Hardness.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Reductions/tests/Hardness.mac")$
00023 
00024 
00025 /* **********************
00026    * Computing hardness *
00027    **********************
00028 */
00029 
00030 okltest_hardness_cs(hardness_cs);
00031 okltest_hardness_u_cs(hardness_u_cs);
00032 
00033 /* **********************************
00034    * Computing propagation-hardness *
00035    **********************************
00036 */
00037 
00038 okltest_phardness_cs(phardness_cs);
00039 
00040 /* ************************
00041    * Computing w-hardness *
00042    ************************
00043 */
00044 
00045 okltest_whardness_cs(whardness_cs);
00046