coco-team / lustrec

A modular Lustre to C / Horn clauses compiler
17Updated 6 years ago

Related projects

Alternatives and complementary repositories for lustrec