.. Sudoku SMT Solvers documentation master file, created by
   sphinx-quickstart on Mon Jan  6 11:46:32 2025.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Sudoku SMT Solvers documentation
================================


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

   benchmark_runner
   cvc5_solver
   dpll_solver
   dpllt_solver
   sudoku_generator
   z3_solver