Overview

This project provides an acceptance test for smartics-properties.