# API

```{eval-rst}
.. automodule:: simcheck
   :members:
```