aiutare

A benchmarking framework for SAT, SMT, and equivalence checking programs.

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install aiutare

Releases

Version Released Bullseye
Python 3.9
Bookworm
Python 3.11
Files
1.0 2019-06-24  

Issues with this package?

Page last updated 2025-06-27 15:31:03 UTC