A benchmarking framework for SAT, SMT, and equivalence checking programs.
Project description
AIUTARE
Automated Analysis, Regression, and Evaluation
Setup
- See the Setup wiki page for creating the config and other necessary files
bin/prepare.sh
- (Currently written only for Ubuntu 16.04 and 18.04)
Usage
bin/run.py [absolute path to config.json file] [number of runs; 1 if omitted]
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
aiutare-1.0.tar.gz
(6.1 kB
view details)
Built Distribution
aiutare-1.0-py3-none-any.whl
(8.1 kB
view details)
File details
Details for the file aiutare-1.0.tar.gz.
File metadata
- Download URL: aiutare-1.0.tar.gz
- Upload date:
- Size: 6.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.9.1 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.32.2 CPython/3.5.2
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | df53ab818c91dd01cc0e06da69e13021338fc254f0c075e2f9a4248003074c12 |
|
| MD5 | 07705abaaed0e0719426bc7d1b425cd4 |
|
| BLAKE2b-256 | 795e0a62a10311fc09821b3969c4177fac3e4f1de2a230e3d5ab8514714148d7 |
File details
Details for the file aiutare-1.0-py3-none-any.whl.
File metadata
- Download URL: aiutare-1.0-py3-none-any.whl
- Upload date:
- Size: 8.1 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.9.1 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.32.2 CPython/3.5.2
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | e40764fb667be130805610f0ebc3d5aadbc33cfa2914879e220d0771a957acfd |
|
| MD5 | 03dbab326f534d322100e6fa68000552 |
|
| BLAKE2b-256 | 045ccb52da7a0fe8985de5f6fca3b69512808f834586bac52fb00dd1c9ecd12e |
