Python In-Formal Methods Library
Project description
Welcome to the pifm repository
pifm is a tool to teach in-formal methods.
Initial setup
To use the system, you can do the following:
$ git clone git@github.com:COMP6721UNSW/pifm.git pifm
$ cd pifm
$ run_pifm ./my_example.py
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
pifm-0.0.1.tar.gz
(8.6 kB
view hashes)
Built Distribution
pifm-0.0.1-py3-none-any.whl
(9.8 kB
view hashes)