TeMoS

Repository for TeMoS, Temporal Stream Logic Modulo Theories Synthesis.

News

TeMoS has been rewritten, integrating it directly with tsltools.

Documentation is available here.

Installation

Preliminaries

1. Make directory bin.
2. Download CVC4 and move the binary into bin. Please name the binary cvc4.
3. Install rustc, probably preferably through rustup

Building the source

Simple as

cargo build