OKlibrary  0.2.1.6
GreenTaoCNF.cpp File Reference
#include <string>
#include <iostream>
#include <map>
#include <cassert>
#include <utility>
#include <boost/lexical_cast.hpp>
#include <OKlib/Satisfiability/Interfaces/InputOutput/Colouring.hpp>
#include <OKlib/Satisfiability/Interfaces/InputOutput/ClauseSetAdaptors.hpp>
#include <OKlib/Combinatorics/Hypergraphs/Generators/GreenTao.hpp>

Go to the source code of this file.

Enumerations

enum  

Functions

int main (const int argc, const char *const argv[])

Enumeration Type Documentation

anonymous enum

Definition at line 56 of file GreenTaoCNF.cpp.


Function Documentation

int main ( const int  argc,
const char *const  argv[] 
)

Definition at line 74 of file GreenTaoCNF.cpp.

References end, and M.