Problems Datasets
=================

In the development of this project, a couple of databases of problems have been gathered, both for benchmarking and for testing of specific features of the software. They include material present in the original AlphaGeometry repository and new material. All of it is described in this section.

.. toctree::
   :maxdepth: 2
   :caption: Contents:

   imo_ag_30
   jgex_ag_231
   new_benchmark_50
   examples