# Intrepyd Intrepyd is a python module that provides a simulator and a model checker in form of a rich API, to allow the rapid prototyping of formal methods algorithms for the rigorous analysis of circuits, specifications, models.

## Formal Methods Little Corner A collection of experiences using Intrepyd can be found at https://formalmethods.github.io.

## FAQs Please refer to the dedicated Wiki page at https://github.com/formalmethods/intrepyd/wiki/FAQs.

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Newer release available (0.12.0)

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for robertobruttomesso from gravatar.com robertobruttomesso

Credits

Author: Roberto Bruttomesso

License

BSD-3-Clause

Report project as malware

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

intrepyd-0.5.8.tar.gz (14.4 MB view details)

Uploaded Source

File details

Details for the file intrepyd-0.5.8.tar.gz.

File metadata

  • Download URL: intrepyd-0.5.8.tar.gz
  • Upload date:
  • Size: 14.4 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for intrepyd-0.5.8.tar.gz
Algorithm Hash digest
SHA256 adc991fb14cc314e03f52e56bce978358823f7d7dcef56465bb5393f45d8b32d
MD5 de54a255f0d4c7ea3b96907de4008ff1
BLAKE2b-256 ab39fb5c6bfc8917fbf4081b68ced82f78a42e66a02cae88b33b9cedd3891809

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page