[](https://travis-ci.org/formalmethods/intrepyd)[](https://coveralls.io/github/formalmethods/intrepyd?branch=master)# IntrepydIntre**py**d is a python module that provides a simulator and a model checker in form ofa rich API, to allow the rapid prototyping of formal methods algorithmsfor the rigorous analysis of circuits, specifications, models.## InstallationPlease refer to the following [instructions](INSTALL.md).## Formal Methods Little CornerA collection of experiences using Intrepyd can be found [here](https://formalmethods.github.io).## FAQsPlease refer to the dedicated [Wiki page](https://github.com/formalmethods/intrepyd/wiki/FAQs).
1 maintainer
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
File details
Details for the file intrepyd-0.5.4.tar.gz.
File metadata
- Download URL: intrepyd-0.5.4.tar.gz
- Upload date:
- Size: 14.4 MB
- Tags: Source
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
909368d77deaa78cfc401af1c84f3b51f231959679e4be50b66eb90a32f84c4d
|
|
| MD5 |
bc36694d964bf9890a8b76cf6ffc09c3
|
|
| BLAKE2b-256 |
f0f612d1e4c051dfe1f27b5cccd199f29b7fcaa13d7f04d5cb4e61255324ede2
|
[](https://travis-ci.org/formalmethods/intrepyd)[](https://coveralls.io/github/formalmethods/intrepyd){kind=link}