Metadata-Version: 2.0
Name: sydar
Version: 0.13.2
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
Platform: UNKNOWN
Requires-Dist: numpy
Requires-Dist: pyparsing
Requires-Dist: scipy

# LTLOC
Optimal Control with Temporal Logic Constraints


