Search Results for "boolean expression solver"
Sort By:
Showing 47 open source projects for "boolean expression solver"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
YARA
The pattern matching swiss knife for malware researchers
...With YARA you can create descriptions of malware families (or whatever you want to describe) based on textual or binary patterns. Each description, a.k.a rule, consists of a set of strings and a boolean expression which determines its logic. YARA is multi-platform, running on Windows, Linux and Mac OS X, and can be used through its command-line interface or from your own Python scripts with the yara-python extension. YARA-CI may be a useful addition to your toolbelt. This is GitHub application that provides continuous testing for your rules, helping you to identify common mistakes and false positives. ... -
2
EAGO.jl
A development environment for robust and global optimization
EAGO is an open-source development environment for robust and global optimization in Julia. EAGO is a deterministic global optimizer designed to address a wide variety of optimization problems, emphasizing nonlinear programs (NLPs), by propagating McCormick relaxations along the factorable structure of each expression in the NLP. Most operators supported by modern automatic differentiation (AD) packages (e.g., +, sin, cosh) are supported by EAGO and a number of utilities for sanitizing... -
3
AQL
Advanced Query Language
The clauses are beginning from "([{" and ending by "}])" and are separated by ",;" There are three basic types like Boolean (true, false), numeric and string in "'\"" List of operators: Name Description << Output ? Logical if @ Loop ?$ Returns true if variable defined ?| Logical or ?& Logical and ?! Logical negation ?/ Logical regular expression matches /- Split string by regular expression /+ Replace by regular expression // All matches = Assignment + Addition or concatenation - Subtraction / Division * Multiplication -
4
Bible SuperSearch
Web-Based Bible Search Engine
Advanced web-based Bible passage lookup and search script. Search entire Bible or only within the specified reference(s). Keeps users on your website and does not send them to our website. Install our API and run completely on your website! Full Boolean search with parentheses, proximity search. Look up multiple passages, parallel Bibles. Bible downloads also available: * PDF * Plain Text * MySQL dumps * JSON *... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
5
JQM Java Quine McCluskey
JQM - Java Quine McCluskey for minimization of Boolean functions.
Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for... -
6
Advanced Trigonometry Calculator
Precision Trigonometry: Advanced Calculator for Complex Math
Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. ATC Online Alpha: https://advantrigoncalc.sourceforge.io/atc/ More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by... -
7
Solvespace
SOLVESPACE is a free (GPLv3) parametric 3d CAD tool.
SOLVESPACE is a free (GPLv3) parametric 3d CAD tool. Applications include: modeling 3d parts — draw with extrudes, revolves, helixes and Boolean (union / difference / intersection) operations modeling 2d parts — draw the part as a single section, and export DXF, PDF, SVG; use 3d assembly to verify fit 3d-printed parts — export the STL or other triangle mesh expected by most 3d printers preparing CAM data — export 2d vector art for a waterjet machine or laser cutter; or generate STEP or STL, for import into third-party CAM software for machining mechanism design — use the constraint solver to simulate planar or spatial linkages, with pin, ball, or slide joints plane and solid geometry — replace hand-solved trigonometry and spreadsheets with a live dimensioned drawing ORIGINAL SOURCE: https://solvespace.com/index.pl -
8
GENET-CNV
Integrated DNA copy number variation and gene expression analysis
The Boolean implication networks outperformed Bayesian networks, Pearson’s correlation networks, and other Boolean networks in constructing genome-scale co-expression networks evaluated with comprehensive biological pathways and Gene Ontology in MSigDB. References: Guo NL, Wan YW. Pathway-based identification of a smoking associated 6-gene signature predictive of lung cancer risk and survival. -
9
JavaBoolCompiler
Boolean expression compiler written in Java
Parses and evaluates boolean expressions. Usage: BoolCompiler compiler = new BoolCompiler(); BoolProgram program = compiler.compile("a == b && a != c"); HashMap<String, Boolean> context = new HashMap<String, Boolean>(); context.put("a", true); context.put("b", true); context.put("c", false); boolean result = program.eval(context); System.out.println("result = "+result); -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
C++ Math Expression Parser
C++ Math Expression Parser Library
The C++ Mathematical Expression Toolkit Library (ExprTk) is a simple to use, easy to integrate and extremely efficient run-time mathematical expression parser and evaluation engine. ExprTk supports numerous forms of functional, logical and vector processing semantics and is very easily extendible. Download http://partow.net/programming/exprtk/index.html -
11
SONNET
SONNET (integer) linear optimisation in .NET
...SONNET consists of two parts: 1) A .NET library that consists of .NET wrapper classes around existing COIN classes such as OsiSolverInterface. 2) A .NET library implemented in C# that adds a powerful (rudimentary) modelling API with classes like Model, Constraint, Variable, Expression, etc, and overloaded operators to allow for things like Model model = new Model(); Variable x = new Variable(); Variable y = new Variable(); model.Add(2 * x + 3 * y <= 10); model.Objective = 3 * x + y; Solver solver = new Solver(model, typeof(OsiClpSolverInterface)); solver.Maximize(); Console.WriteLine(solver.ToSolutionString()); -
12
Volunteer workshift scheduler
Volunteer workshift scheduler for a helpline service
Code written in Python finds the best possible schedule for volunteers while incorporating constrains and special requirements using CP-SAT Solver (Constraint Programming - boolean SATisfiability problem Solver). Java version is in development. The problem Arranging volunteers for a helpline service for the period of one month. There are three types of work that could be done on the same day: Phone shift: Every day. Chat shift: Mondays and Wednesdays. ... -
13
High speed math parser
Expression evaluator for Delphi developers
Version 2.5 is available! The latest changes are in TFastList class. It is the secondary class intended for fast string managment. The newest TGraph component is available as well. The new ParseUtils.FindFormula method allows searching any of possible formulas within some text. Parse components are intended for Delphi developers and perform high-speed (about 10 million evaluations per second) mathematics and boolean calculations. All components are available for Delphi 6, Delphi 7,... -
14
Advance-PCT-1.0
A novel Code transformation technique to guide test input generator
Advance_PCT is a pre-processing technique, that simplifies the complex boolean expression present in a C program. It identifies the boolean expression and creates equivalent conditional branches with an empty body. These additional statements along with original program supplied into test executor to improve test data. It ensures that each atomic conditions have been invoked at least once true and once false. -
15
CQU
Decision solver for Counting Quantifiers over Unary Predicates
---------------- cqusat 1.0 ---------------- cqusat is a conbstraint solver decides the satisfiability of a set of sentences containing Counting Quantifiers over Unary predicates. It also accepts Universally quantifies sentences over unary predicates, which are presented in the form of propositional clauses (classical Boolean logic clauses). This implementation employs minisat as the SAT solver. -
16
Logicheck
An interactive tool to test logical structures and expressions
This program is intended to be useful for testing Boolean logic or propositional logic. It sets out logical expressions with symbols such as "AND" and "OR" in a graphical user interface. A truth table can then be generated for any such set of expressions. It can also be used to test the validity of deductive arguments - the program will advise whether an argument is valid and if not, list the counter examples to the argument. -
17
BoolCalc
Boolean Expression Evaluator with AND/XOR minimization
This is yet another boolean expression evaluator written in C/C++ with AND/XOR Sum-of-Product outputs. This is useful for projects that require heavy use of arithmetic functions, or multiplexors, where the XOR function dominates the logic expressions. There is also a similar tool with AND/OR/NOT output. -
18
Math AI Mockup Expression Parser
Small but powerful, learns formulas and parses expressions swiftly
I spent 8 months from late September to about the end of May working on an expression parser in C# that be taught formulas and learn them sort of like an AI system, also lets you add variables at will. Has full access to all math functions with endless additional variables to solve with or for. Also has memory like a calculator, a converter for DEG/RAD/GRAD, a programming calculator, and a built in console to load a formula by its name rather than searching for it in the list. -
19
doubleshatak scientific calculator
doubleshatak worlds best scientific graphical calculator ever
doubleshatak introduce worlds modern scientific calculator with heavy functions. It is design for handle very complex expressions. -
20
World best graphical calculator
We are introduce worlds best scientific graphical calculator
-
21
Frndz Boolean Expression Simplifier
Boolean Expression Simplifier developed by Mayank Shekhar
This application simplifies a boolean expression to its simplest form. User can enter MAX value or MIN value and can get the result in SOP or POS form correspondingly. -
22
Data Types: String: VALOR[t,...] Number: VALOR[n,...] Boolean: VALOR[b,...] DateTime: VALOR[dt,...] (yyyy-MM-dd) ArrayDateTime: VALOR[ad,...;...;...] (yyyy-MM-dd) ArrayNumeric: VALOR[an,...;...;...] String: VALOR[at,...;...;...] Variable: Boolean: @ParameterName@ DateTime: @ParameterName@ Number: @ParameterName@ String: @ParameterName@ Array: @ParameterName@ Comp Operation: Equals: [=] Not Equals: [<>] Greater Than: [>] Greater Equals Than: [>=] Less...
-
23
expressionCalc
Cross platform Mathematical expression solver
expressionCalc is a Mathematical expression solver. It has a Java implementation (for cross platform) and a C# implementation (for Windows). Support most of the Mathematical functions including log, sin, a sin etc. Implemented based on the expression solving technique of BODMAS. -
24
ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.
-
25
EasyCP
The easiest C++ way to deal with constraints !
EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way, taking advantage of its expressive power. Just model and let the CSP (Constraint Satisfaction Problem) solver do the job !
