BoSy is a reactive synthesis tool based on constraint-solving
reactive-systems
Strix is a tool for reactive synthesis of controllers from LTL specifications.
meyerphi
