My Project
Classes | Namespaces
fixedDepthSolverExt.cc File Reference
#include "osl/checkmate/fixedDepthSolverExt.h"
#include "osl/checkmate/fixedDepthSearcher.tcc"
#include "osl/checkmate/proofPieces.h"
#include "osl/checkmate/proofNumberTable.h"

Go to the source code of this file.

Classes

struct  osl::checkmate::FixedDepthSolverExt::SetProofPieces
 

Namespaces

namespace  osl