Documentation is available at https://tulip-control.github.io/gr1c
Summary of changes:
- Various code quality improvements (not affecting correctness)
- Improve documentation
Documentation is available at https://tulip-control.github.io/gr1c
Summary of changes: