---
myst:
  html_meta:
    description: "tddlog for Python's reference: tddlog.solve, its options, the Solution it returns, and the exceptions it raises."
---

# Reference

```{eval-rst}
.. autofunction:: tddlog.solve

.. autoclass:: tddlog.Solution
   :members:

.. autoexception:: tddlog.Error

.. autoexception:: tddlog.ParseError

.. autoexception:: tddlog.GroundingError

.. autoexception:: tddlog.CompilationError
```