New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Extract Model Checking from CREST into own package #11

Open

stklik opened this issue Apr 23, 2019 · 1 comment

Labels

enhancement help wanted

Member

stklik commented Apr 23, 2019

I think it would be better in the long run to extract the TCTL + timed Kripke part from CREST and provide it as its own package.

This would make it reusable and extendable.
Who knows, maybe other people want to join it, too?

stklik added enhancement help wanted labels

Member Author

stklik commented Jul 23, 2019

Kickstarting the project here:

https://github.com/stklik/pyTCTL

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment