Skip to content

CIDARLAB/GridTLI

Repository files navigation

Install and Run GridTLI

Instructions to install Cello can be found in INSTALL.md. Instructions to run a local instance of GridTLI can be found in RUN.md.

Contributing to this project

Anyone and everyone is welcome to contribute. Please take a moment to review the guidelines for contributing.

Contact Us

If you would like to receive updates from the GridTLI team regarding bug fixes, patches, feature updates or if you would like to contact the GridTLI team, please check the links in CONTACT.md

License

You can refer to the license of GridTLI in LICENSE.txt

About

A Grid based approach for Temporal Logic Inference

Resources

License

Stars

Watchers

Forks

Packages

No packages published