Satlab Property Client
======================

This is the source code for the Satlab Property Client library. It implements the client side property protocol on top of CSP, and provides wrapper functions.

Please refer to the ``doc/`` directory and header files in ``include/`` for documentation of the library.
