6 results found Sort:

welchbj
tt welchbj
12
218
mit
7
a Pythonic toolkit for working with Boolean expressions
sat python boolean sat-solver truth-table satisfiability boolean-algebra transformations boolean-expression
Created 2015-12-22
457 commits to develop branch, last one 5 months ago
Thorium
Linq.Expression.Optimizer Thorium
6
106
unlicense
12
System.Linq.Expression expressions optimizer. http://thorium.github.io/Linq.Expression.Optimizer
sql linq reduction optimisation optimization boolean-algebra expression-tree mathematical-expressions
Created 2016-08-27
92 commits to master branch, last one 21 days ago
m-peko
booleval m-peko
6
85
mit
4
Header-only C++17 library for evaluating logical expressions.
cpp cpp17 filter evaluator evaluation expression modern-cpp c-plus-plus header-only boolean-logic parser-library boolean-algebra expression-tree logical-operators boolean-expression boolean-operations expression-evaluator recursive-descent-parser
Created 2019-07-26
188 commits to master branch, last one 3 years ago
Spydr06
logicrs Spydr06
6
58
mit
3
An easy-to-use simulator for logical circuits
gtk gtk4 rust gates logic circuit logicrs simulator libadwaita simulation logic-gates boolean-logic hacktoberfest libadwaita-rs boolean-algebra hacktoberfest2023
Created 2022-10-10
222 commits to main branch, last one 8 months ago
int-main
Quine-McCluskey int-main
20
57
mit
2
Implementation of Quine McCluskey algorithm in Python 3
python minterm karnaugh-map minimization petrick-method boolean-algebra quine-mccluskey prime-implicants boolean-expression function-minimization prime-implicants-table quine-mccluskey-algorithm quine-mccluskey-technique essential-prime-implicants
Created 2018-02-07
9 commits to master branch, last one 5 years ago
miroiu
string-math miroiu
5
55
mit
1
Evaluates a math expression from a string. Supports variables and custom operators.
math csharp dotnet string calculator mathematics string-math math-operation boolean-algebra math-expression expression-parser string-calculator boolean-expression expression-evaluator
Created 2020-01-06
92 commits to master branch, last one 12 months ago