Getting Started
User Guide
API Reference
Project
Defined in File Problems.h
certificatoCricca(): S, of distinct nodes, has k of them or more, all adjacent
G is square