Introduction

Umbrella project for acceptance tests on smartics-properties.

The test cases show how to use and integrate smartics-properties with different technologies.