TOBARA (The Only Boolean Algebra Reduction App) 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.
The News Section is the way we represent the advances of our project, you can find all of the journals here: Journals
Make sure you have Python 3.6 or newer. You can install it with pip:
pip install TOBARAIf you are in linux:
python3 -m pip install TOBARAprojectTOBARA documentation is available here: Documentation Here you can find our Journals where we wrote all of our advances in the Project Also you can check the documents that we wrote for our project.
Our team organization is available here: Team Organization
Our project works in Python (Up to version 3.6) You can find our test here: