-
Notifications
You must be signed in to change notification settings - Fork 0
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.
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
Packaging #23
Comments
I have changed things around so that the
To generate a new test file, leave off |
Regarding exposing the functions, you can build the package locally from the directory that includes the Once you have installed the package locally you will be able to run |
I am working on packaging the model checker and wanted to see if the following installation works:
Since I'm on NixOS I can't use
pip install
. When @mbuit82 get a chance, could you give the command above a try in the terminal?Here is the link to the package.
The text was updated successfully, but these errors were encountered: