A fuzzer for SMT solvers.
Project description
smtfuzz: A random generator for SMT-LIB2 formulas
SMT solvers are automated tools that can determine the satisfiability of logical formulas in various theories, including arithmetic, bit-vectors, arrays, and more. 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.
Installation
To install a stable version of smtfuzz:
pip3 install smtfuzz
Install from source
pip install -e .
Usage
After installing the package, you can type
smtfuzz
And you will see an SMT-LIB2 formula on 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.
Feedback
Please submit an issue to report any bugs, issues, questions, or feature requests. We are pleased to receive your feedback.
Detected Bugs
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
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
File details
Details for the file smtfuzz-0.1.1.tar.gz.
File metadata
- Download URL: smtfuzz-0.1.1.tar.gz
- Upload date:
- Size: 65.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.13.1
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
19c46b2949b49617c385b4773d5ca8575a8b1be0bf5dbc449691aba9d79fd865
|
|
| MD5 |
1e93127e9cfc621f874d4f6edd524e43
|
|
| BLAKE2b-256 |
7689804a76680780448b6cefebd4ac063320190a0d124e12731c07fcead1d3e3
|
File details
Details for the file smtfuzz-0.1.1-py3-none-any.whl.
File metadata
- Download URL: smtfuzz-0.1.1-py3-none-any.whl
- Upload date:
- Size: 70.9 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.13.1
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
52154c7bdb4c2e7e6123797a2b0cd560d3c74e377a27f62ab097186454428c8d
|
|
| MD5 |
7e829cbcce64badbf297f9aa6a57d959
|
|
| BLAKE2b-256 |
46980315ed394b58f2f9f4056c965a97e6ef65a4940d06e80ef729e829c39adb
|
