SyFCo is a tool for reading, manipulating and transforming synthesis specifications in TLSF.
A High-Level LTL Synthesis Format: TLSF v1.1Swen Jacobs, Felix Klein, and Sebastian Schirmer
The source code is available at github.com/reactive-systems/syfco.
The package is also available on Hackage.
Copyright © 2017 Saarland University