.. _Servers and Clients:

#################################
Servers and Clients
#################################

Generic
=======

.. autoclass:: verifai.server.Server

.. autoclass:: verifai.client.Client

Dynamic Scenic
==============

.. autoclass:: verifai.scenic_server.ScenicServer