This is a small and fast library and command-line tool for manipulation of logic/boolean-algebra expressions, including proofing and simplification. A front-end using tigcc for Texas Instruments calculators is planned, too.
License
GNU General Public License version 2.0 (GPLv2)Follow Lo => gos
You Might Also Like
La version gratuite d'Auth0 s'enrichit !
Vous l'avez demandé, nous l'avons fait ! Les versions gratuite et payante d'Auth0 incluent des options qui vous permettent de développer, déployer et faire évoluer vos applications en toute sécurité. Utilisez Auth0 dès maintenant pour découvrir tous ses avantages.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Lo => gos!