Math Parser Java Android C# .NET/MONO (.NET Framework, .NET Core, .NET Standard, .NET PCL, Xamarin.Android, Xamarin.iOS) CLS Library - a super easy, rich and flexible mathematical expression parser (expression evaluator, expression provided as plain text / strings) for JAVA and C#. Main features: rich built-in library of operators, constants, math functions, user defined: arguments, functions, recursive functions and general recursion (direct / indirect). Additionally parser provides grammar and internal syntax checking.

a Pythonic toolkit for working with Boolean expressions

☕ A boolean expression parser and evaluator in Elixir.

comvert bool expression to elasticsearch DSL in rust

Brenda is a boolean expression solver for Go AST

Modern 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 rust crate for boolean expressions (expression trees, decision diagrams, etc.)

Converting Boolean expressions to CMOS Circuits

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

Reductions of SHA family hash functions to SAT.

Checks whether a subset is contained in a list of oauth scopes. Uses code generation to reach better performance.

Parsing, evaluating and textually representing predicates

A Python module to simulate logical circuits/graphs.

Simple boolean expression simplifier

Implementation of Quine McCluskey algorithm in Python 3

A tool to query ctags file with simple boolean expressions.

KS Boolean Expression is a free software used to minimize boolean functions by a graphic method of Karnaugh maps.

Boolean expression simplifier and visualizer

A puzzle game for iOS.

⋀⋁ Create a boolean expression that's safe (you can still harm your app if you don't validate) to eval.

Minimization of boolean expressions is one of the fundamental aspects of Digital Design. This task was revolutionized by the QuineMccluskey technique. This repo contains C++ code used to minimize boolean functions through this technique. The implementation has been designed only for non Don't care type expressions.

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

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

Easily type boolean expressions using English text. Actively translates to appropriate symbols for academic communication through Boolean algebra.

Programa que dá a tabela-verdade de uma expressão booleana, escrito em C.

Build a Abstract Syntax Tree from a logic expression string

Boolean Calculator web application that simplifies boolean expressions