A random input generator SMT-LIBv2 files
Project description
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.
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
smtfuzz-0.2.tar.gz
(41.2 kB
view details)
Built Distribution
smtfuzz-0.2-py3-none-any.whl
(108.8 kB
view details)
File details
Details for the file smtfuzz-0.2.tar.gz.
File metadata
- Download URL: smtfuzz-0.2.tar.gz
- Upload date:
- Size: 41.2 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.10.8
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 89466b69bdaa782d4dde0e1a6b63f2f53244530e0ea0d10ac384012bc042db20 |
|
| MD5 | d782fdd4f3ba9c819a117e7d0d335f27 |
|
| BLAKE2b-256 | 2925b3a789a298b21853a8386ce33711ba418254a157e8517810cc2d5e3bad8d |
File details
Details for the file smtfuzz-0.2-py3-none-any.whl.
File metadata
- Download URL: smtfuzz-0.2-py3-none-any.whl
- Upload date:
- Size: 108.8 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.10.8
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | d84070adec96a573e4f62070caf4c2ed67c07f8260dc063faac8cfc48ad0a2dd |
|
| MD5 | 9a013f7b122f9366bb513da507e0172e |
|
| BLAKE2b-256 | 9c002cfb8200cf520fc4fe6893548edd0422f36feb2df40f2a6f5cbf3a1496c1 |
