pytestz3-solver
Proofs are packaged within pytest unit tests. Running the main file will run all proofs. Proofs can also be run separately in your IDE by selecting a specific folder or test.
H-Innos/Z3
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|