System.Linq.Expression expressions optimizer. http://thorium.github.io/Linq.Expression.Optimizer
-
Updated
May 23, 2024 - F#
System.Linq.Expression expressions optimizer. http://thorium.github.io/Linq.Expression.Optimizer
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 Algebra Post-fix Notation Calculator
A Python library designed for performing Boolean arithmetic. It includes classes for, evaluating Boolean constant expressions and generating truth tables from a given Boolean expression.
A teaching aid for concepts and algorithms in logic
A Spring Boot project to help people learn boolean logic and solve boolean formulas.
Evaluates a math expression from a string. Supports variables and custom operators.
An easy-to-use simulator for logical circuits
Java Boolean Algebra Truth Table Generator
A simple Boolean Expression Lexer and Parser
simple backtracking SAT solver, based on basic boolean logic
logi.js is a JavaScript library for working with Boolean algebra, logical expressions, truth tables, the Quine-McCluskey algorithm, timing diagrams, and more.
Implementation of Quine McCluskey algorithm in Python 3
Visit https://downtothecircuits.com/?p=2677 for more information
Generate Karnaugh maps fast with Python.
Educational tool for building boolean logic circuits
Proof in Coq that all Robbins algebras are Boolean algebras
Discrete Math Calculator (Set operations: intersection, union, difference, cartesian product, etc. Relationship properties: validate whether it represnts a funtion or not, reflexivity, symmetry, antisymmetry, transitivity, relationship matrix, etc.)
A powerful tool for minimizing Boolean functions
Application For Computing Revision
Add a description, image, and links to the boolean-algebra topic page so that developers can more easily learn about it.
To associate your repository with the boolean-algebra topic, visit your repo's landing page and select "manage topics."