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

Sparse linear Boolean algebra for Nvidia Cuda

Boolean expression simplifier/minimizer

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

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

Minimal disjunctive normal form (MDNF): Table and Result in Qt

ExoticCraft, a rip-off of Minecraft to simulate Computational Redstone

Sophomore C++ project implementing Quine-McCluskey algorithm.

A collection of tools to study the inversion or collision of truncated versions of MD4, MD5, SHA-256 with SAT solving using techniques such as Cube-and-Conquer, programmatic SAT, Dobbertin's Attack, and differential cryptanalysis.

Boolean Function Analyzer and Synthesis Optimization Tool

C++ program to solve Sudoku puzzle recursively

Boolean function truth table generator

Educational tool for building boolean logic circuits

A project to simulate QuineMcClusky process to do the following: 1- Generate and print all prime implicants using the Quine-McCluskey tabulation method. 2-obtain and print all the essential prime implicants. 3-Obtain the subset of the non-essential prime implicants needed to complete the solution.

Implements cubes, covers, and their associated logic operations

Discover the basics of computer-related mathematics with Boolean Algebra and Sets Theory

Truth Table Generator

Bollean expression solver and analyzer