smtfuzz: A random generator for SMT-LIB2 formulas
smtfuzz is a random generator for SMT-LIB2 formulas. It is designed to help users generate test cases for SMT solvers and explore various SMT-LIB2 features.
After installing this package: Type smtfuzz, and you will see an SMT-LIB2 formula in the screen.
For more advanced options, please use the -h flag to display the help menu. Feel free to experiment with different combinations of options to generate a wide variety of SMT-LIB2 formulas for testing purposes.
1 maintainer
Metadata
1 maintainer
Release files for smtfuzz 0.2
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | Provenance | |
|---|---|---|---|---|
| smtfuzz-0.2.tar.gz | 41.2 kB | Without provenance | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| smtfuzz-0.2-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 150.1 kB
Release files / smtfuzz-0.2.tar.gz
| Download URL | smtfuzz-0.2.tar.gz |
|---|---|
| Size | 41.2 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
89466b69bdaa782d4dde0e1a6b63f2f53244530e0ea0d10ac384012bc042db20
|
|
BLAKE2b-256 checksum How to use checksums |
2925b3a789a298b21853a8386ce33711ba418254a157e8517810cc2d5e3bad8d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.8
|
Release files / smtfuzz-0.2-py3-none-any.whl
| Download URL | smtfuzz-0.2-py3-none-any.whl |
|---|---|
| Size | 108.8 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
d84070adec96a573e4f62070caf4c2ed67c07f8260dc063faac8cfc48ad0a2dd
|
|
BLAKE2b-256 checksum How to use checksums |
9c002cfb8200cf520fc4fe6893548edd0422f36feb2df40f2a6f5cbf3a1496c1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.8
|
Security for smtfuzz 0.2
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
No provenance found
None of the files in this release were uploaded with provenance metadata.
A note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.
