#include "osl/ntesuki/oracleProverLight.h"
#include "osl/ntesuki/oracleProverLight.tcc"
#include "osl/ntesuki/ntesukiMoveGenerator.h"
ソースコードを見る。
ntesuki/oracleProverLight.cc の 5 行で定義されています。