a Pythonic toolkit for working with Boolean expressions

System.Linq.Expression expressions optimizer. http://thorium.github.io/Linq.Expression.Optimizer

Header-only C++17 library for evaluating logical expressions.

Implementation of Quine McCluskey algorithm in Python 3

An easy-to-use simulator for logical circuits

Evaluates a math expression from a string. Supports variables and custom operators.

Brenda is a boolean expression solver for Go AST

Nand2Tetris: Build a computer system from the ground up, from nand to tetris. Hardware and software.

Sparse linear Boolean algebra for Nvidia Cuda

Boolean expression simplifier/minimizer

Value types, operators and functions for tinkering with microcontrollers in software.

Nand2Tetris: Building a Modern Computer from First Principles

Parallel boolean circuit evaluation

Web application for parsing and evaluating boolean algebra expressions.

Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations

Boolean expression parser

This is a personal project which purpose is to learn computer architecture by implementing the Hack Computer.

A powerful tool for minimizing Boolean functions

Materials for the Computer Science course, Digital Design (Logic Circuits)

Basic constraint transformation library