barebones_dive_and_solve.hpp File Reference

#include "common_solving.hpp"
#include "memory_gpu.hpp"
#include "lala/light_branch.hpp"
#include <mutex>
#include <thread>
#include <chrono>

Go to the source code of this file.

Namespaces
namespace	barebones

Macros
#define	MAX_SEARCH_DEPTH   10000

Functions
void	barebones::barebones_dive_and_solve (const Configuration< battery::standard_allocator > &config)

Macro Definition Documentation

MAX_SEARCH_DEPTH

#define MAX_SEARCH_DEPTH   10000

This is required in order to guess the usage of global memory, and increase it.