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
Other Useful Business Software
$300 Free Credits to Build on Google Cloud
Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Lo => gos!