Math Parser: Java, C#, C++, Kotlin, Android, and all .NET platforms (Nuget, Maven, CMake). Supports .NET Framework, .NET Core, .NET Standard, Xamarin, and more. Features: rich built-in library of math functions, operators, constants. Flexible in user-defined arguments, functions. Expressions provided as plain text. Easy to use. Well documented.

a Pythonic toolkit for working with Boolean expressions

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

Utility library to parse, normalize and compare License expressions for Python using a boolean logic engine. For expressions using SPDX or any other license id scheme.

:coffee: A boolean expression parser and evaluator in Elixir.

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

Implementation of Quine McCluskey algorithm in Python 3

comvert bool expression to elasticsearch DSL in rust

Brenda is a boolean expression solver for Go AST

A rust crate for boolean expressions (expression trees, decision diagrams, etc.)

Search engine for Rules - Indexing boolean expressions at scale

Converting Boolean expressions to CMOS Circuits

Boolean expression parser

Classical logic truth table magma algebra

A Simple to Use, Complex Boolean & Arithmetic Expression Parser Written For Java

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.

A Python module to simulate logical circuits/graphs.

🧮 Boolean expression evaluation engine. A Rust port of boolrule.

A Simple to Use, Complex Boolean & Arithmetic Expression Parser Written For Go

Reductions of SHA family hash functions to SAT.

Simple boolean expression simplifier

An implementation of the Quine-McCluskey-Algorithm for Boolean function minimization, written in C.

Boolean calculator written in C# that implements Djikstra's Shunting Yard algorithm and RPN (reverse polish notation).

A puzzle game for iOS.

propositional logic evaluator that creates truth tables for propositional expressions, written in rust.

A tool to query ctags file with simple boolean expressions.

This repository contains a python script that converts a Boolean Expression to a .SIM file (circuit netlist description).

JavaBDD 的应用，包括：电路正确性验证、布尔函数运算，以及 CTL 模型检验。基于 SpringBoot 框架，使用 Graphviz 可视化。

A simple boolean expression validator, creating truth tables for boolean expressions

Logic Expression Compiler, with Logic Minimization, to NAND/NOR Implementation