OKlibrary  0.2.1.6
SingleResult_Tests.hpp
Go to the documentation of this file.
00001 // Oliver Kullmann, 11.6.2005 (Swansea)
00002 /* Copyright 2005 - 2007 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 
00008 #ifndef SINGLERESULTTESTS_1019HvR
00009 #define SINGLERESULTTESTS_1019HvR
00010 
00011 namespace OKlib {
00012   namespace SATCompetition {
00013 
00014   }
00015 
00016 }
00017 
00018 #endif