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
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 details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
pifm-0.0.1-py3-none-any.whl
(9.8 kB
view details)
File details
Details for the file pifm-0.0.1.tar.gz.
File metadata
- Download URL: pifm-0.0.1.tar.gz
- Upload date:
- Size: 8.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.8.10
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
b6d7e4610a6abcf010184151a9dbbc1ee4199865805933a99abd74e83f65d207
|
|
| MD5 |
3a23f2d32458ce229456e8ad484a52dc
|
|
| BLAKE2b-256 |
51b119e88cfcf1b4271557bf6b7d9ac86f0bd4589f592de311d5448343fbfdcc
|
File details
Details for the file pifm-0.0.1-py3-none-any.whl.
File metadata
- Download URL: pifm-0.0.1-py3-none-any.whl
- Upload date:
- Size: 9.8 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.8.10
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
5d8b1e0393f54b0e18f03644bed3716b04335c9805a1df5b86614ea3474bcd17
|
|
| MD5 |
43959ef1a29e27eeec74d20f655df0c4
|
|
| BLAKE2b-256 |
47893d960f20691de1c02e30f2765fb3cf858d9d7dbd064ee65675a94633691b
|
