Skip to main content

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]

Project details


Release history Release notifications | RSS feed

This version

1.0

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 hashes)

Uploaded Source

Built Distribution

aiutare-1.0-py3-none-any.whl (8.1 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page