boolean-logic

Genetic circuit design automation

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

Nand2Tetris: Building a Modern Computer from First Principles

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

Multiscale simulation of multi-cellular system

A fast and certifying solver for quantified Boolean formulas.

An interactive course on computer science and digital architecture, built from the ground up. (Minecraft and CircuitVerse tracks available)

∂B nets: learning discrete, boolean-valued functions by gradient descent

Gulliver is a C# utility package and library engineered for the manipulation of arbitrary sized byte arrays accounting for appropriate endianness and jagged byte length.

Standard library for Lambda Calculus, finally making LC a practical programming language.

A JavaScript rule engine that models formal propositional logic. It allows you to separate conditional logic from source code and database triggers in a reusable package, where explicit rules can be independently defined and managed.

A powerful tool for minimizing Boolean functions

Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.

A solution to the Boolean Blindness problem.

Classical logic truth table magma algebra

Davis-Putnam-Logemann-Loveland (DPLL) Boolean satisfiability solver with unit propagation and recursive backtracking.

Reduced Ordered Binary Decision Diagram (ROBDD) engine with Shannon expansion and canonical ITE synthesis

Reduced Ordered Binary Decision Diagram (ROBDD) engine with Shannon expansion and canonical ITE synthesis

Davis-Putnam-Logemann-Loveland (DPLL) Boolean satisfiability solver with unit propagation and recursive backtracking.

Solves boolean expressions and simplifies them, draws logic-circuits and constructs circuits and boolean terms from truth-table values and converts boolean expressions to NAND and NOR.