Py Invariant

About

A python3 library to compute invariants based on Ibex and PyIbex.

Quick Install (version 0.2b4, Linux and Mac)

To install the library, enter in a terminal:

pip install pyinvariant --user

The library is design to display graphics with VIBes-viewer.

You can download the viewer here: https://github.com/ENSTABretagneRobotics/VIBES/releases (AppImage for Linux, .dmg for OSX).

Examples