OKlibrary  0.2.1.6
GasarchProblems.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 26.10.2009 (Swansea) */
00002 /* Copyright 2009, 2012 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 
00022 oklib_include("OKlib/ComputerAlgebra/Hypergraphs/Lisp/Colouring.mac")$
00023 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Generators/NonBooleanTranslations.mac")$
00024 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/ClauseSets/NonBoolean.mac")$
00025 oklib_include("OKlib/ComputerAlgebra/Hypergraphs/Lisp/Generators/Gasarch.mac")$
00026 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/ClauseSets/BasicOperations.mac")$
00027 
00028 
00029 gasarch_nbfclud(r,p,q) :=
00030  col2sat_ohg2nbfclud(gasarch_ohg(p,q), create_list(i,i,1,r))$
00031 
00032 gasarch_aloamo_fcl(r,p,q) :=
00033   nbfclud2fcl_aloamo(gasarch_nbfclud(r,p,q))$
00034 
00035 gasarch_aloamo_stdfcl(r,p,q) := 0 $
00036 
00037 /* Quick hack: */
00038 output_gasarch(r,p,q,filename) := block(
00039  [FF : standardise_fcl(gasarch_aloamo_fcl(r,p,q))],
00040   output_fcs_v(
00041     sconcat("The Gasarch problem with ", r, " colours, ", p, " rows and ", q, " columns."),
00042     FF[1],
00043     filename,
00044     FF[2]))$
00045 output_gasarch_stdname(r,p,q) := output_gasarch(r,p,q,
00046   sconcat("Gasarch_",r,"-",p,"-",q,".cnf"))$
00047