Repository for TeMoS, Temporal Stream Logic Modulo Theories Synthesis.
TeMoS has been rewritten, integrating it directly with tsltools.
Documentation is available here.
- Make directory
bin. - Download CVC4 and move the binary into
bin. Please name the binarycvc4. - Install
rustc, probably preferably throughrustup
Simple as
cargo build