C++ API

In this part of the documentation, we show examples of how to use the C++ API of the LydiaSyft library.

• Quickstart
• DFA Representations
• DFA Creation and Manipulation
• LTLf Synthesis
• LTLf Synthesis with Maximally Permissive Strategy
• LTLf Synthesis with Environment Constraints