piwheels

aiutare-finnbarroc

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-finnbarroc

Dependencies

• psutil
• progressbar2
• matplotlib
• numpy
• mongoengine
• pymongo

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
0.0.1	2019-06-24
aiutare_finnbarroc-0.0.1-py3-none-any.whl (8 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue