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.

☕ 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

Boolean expression engine for Elixir

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 Simple to Use, Complex Boolean & Arithmetic Expression Parser Written For Go

Reductions of SHA family hash functions to SAT.

A Python module to simulate logical circuits/graphs.