Published March 18, 2024
| Version 0.13.2
Software
Open
tulip-control/gr1c – v0.13.2
- Creators
- Livingston, Scott C.
Description
Documentation is available at https://tulip-control.github.io/gr1c Summary of changes:
- Report for citation in research, https://doi.org/10.7907/5m62h-a4204
- Makefile improvement for general CC (compiler invocation)
- Updates to documentation and dependency URLs; releases now on GitHub
Files
gr1c_v0.13.2.zip
Additional details
- References
- Livingston, S. C. (2024). gr1c: a tool for interactive and incremental reactive synthesis. Caltech Library. https://doi.org/10.7907/5M62H-A4204 ( other - 10.7907/5m62h-a4204 )