Here is a list of all related documentation pages:

[detail level 12]

CLI Tool
▼C++ API
Quickstart
DFA Representations
DFA Creation and Manipulation
LTLf Synthesis
LTLf Synthesis with Maximally Permissive Strategy
LTLf Synthesis with Environment Constraints