OKlibrary  0.2.1.6
CardinalityConstraints.mac
Go to the documentation of this file.
00001 /* Matthew Gwynne, 16.7.2009 (Swansea) */
00002 /* Copyright 2009, 2010 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/PseudoBoolean/CardinalityConstraints.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/PseudoBoolean/tests/CardinalityConstraints.mac")$
00023 
00024 /* ***************************************
00025    * Simplifying cardinality constraints *
00026    ***************************************
00027 */
00028 
00029 okltest_crd2scrd(crd2scrd);
00030 okltest_scrd2crd(scrd2crd);
00031 
00032 okltest_remove_tautologies_scrd(remove_tautologies_scrd);
00033 
00034 /* **********************
00035    * Direct translation *
00036    **********************
00037 */
00038 
00039 okltest_direct_crd2cl(direct_crd2cl);
00040 okltest_direct_crd2cl_lt(direct_crd2cl_lt);
00041 okltest_direct_crd2cl_ge(direct_crd2cl_ge);
00042 
00043 /* ************************
00044    * Using unary encoding *
00045    ************************
00046 */
00047 
00048 okltest_unary_bb_totaliser_fcl(unary_bb_totaliser_fcl);
00049 okltest_unary_bb_totaliser_r_fcl(unary_bb_totaliser_r_fcl);
00050 okltest_unary_bb_comparator_fcl(unary_bb_comparator_fcl);
00051 okltest_unary_bb_crd2fcl(unary_bb_crd2fcl);
00052