projctTOBARA is a toolkit of Boolean function analysis whose main task is to reduce Boolean functions as much as possible. Our objetive is to determine information about the function like variables, terms and then reduce the function.
Make sure you have Python 3.6 or newer. You can install it with pip:
projectTOBARA documentation is available here: