OKlibrary  0.2.1.6
Translations.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 14.5.2008 (Guangzhou) */
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/Autarkies/Translations.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Autarkies/tests/Translations.mac")$
00023 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/Autarkies/tests/LeanKernel.mac")$
00024 
00025 okltest_aut_sat_ls(aut_sat_ls);
00026 okltest_lean_usat_ls(lean_usat_ls);
00027 okltest_trans_aut_sat_ls(trans_aut_sat_ls);
00028 okltest_itransc_aut_sat_ls(itransc_aut_sat_ls);
00029 okltest_itrans_aut_sat_ls(itrans_aut_sat_ls);
00030 okltest_find_autarky_fcs(lambda([FF],find_autarky_ls_fcs(FF,dll_simplest_spa_trivial2)));
00031