Metadata-Version: 1.0
Name: sydar
Version: 0.13.1
Summary: Synthesis Done Approximately Right
Home-page: https://github.com/u-t-autonomous/sydar.git
Author: Mohammed Alshiekh
Author-email: sahabi@gmail.com
License: BSD
Description: # LTLOC
        Optimal Control with Temporal Logic Constraints
        
Platform: UNKNOWN
