properties

Python library handling the specification and compilation of properties that have to be verified on a system. Uses opengeode API.