Installing pyRedunda

To install pyRedunda, one needs to have Python 3 and pip3 installed on their computer.

Once they have been installed, run the following command:

pip3 install pyRedunda --user

or run

sudo -H pip3 install pyRedunda

Use the former for a per-user install, while the former for a global install.

Once this is done, one can import it using

import pyRedunda