
Tobara (la única aplicación de reducción de álgebra booleana) es un conjunto de herramientas de análisis de funciones booleanas cuya tarea principal es reducir las funciones booleanas tanto como sea posible. Nuestro objetivo es determinar información sobre la función, como variables, términos y luego reducir la función.
La sección de noticias es la forma en que representamos los avances de nuestro proyecto, puede encontrar todas las revistas aquí: revistas
Asegúrese de tener Python 3.6 o más nuevo. Puede instalarlo con PIP:
pip install TOBARASi estás en Linux:
python3 -m pip install TOBARALa documentación de ProjectTobara está disponible aquí: Documentación Aquí puede encontrar nuestras revistas donde escribimos todos nuestros avances en el proyecto, también puede consultar los documentos que escribimos para nuestro proyecto.
Nuestra organización de equipo está disponible aquí: Organización del equipo
Nuestro proyecto funciona en Python (hasta la versión 3.6) Puede encontrar nuestra prueba aquí: