Search Results for "boolean expression solver"

Showing 46 open source projects for "boolean expression solver"

View related business solutions
  • Need To Secure Your Public Cloud? Icon
    Need To Secure Your Public Cloud?

    Built for Developers, DevOps and Engineering Teams

    View all cloud assets of AWS, Google Cloud, Azure, Kubernetes, Digital Ocean in one place. Automates security misconfigurations of assets with guidance to resolve them. Covers far beyond basic checklists. It automatically evaluates the security misconfigs of the assets & provides step-by-step guidance to resolve them
  • Total Network Visibility for Network Engineers and IT Managers Icon
    Total Network Visibility for Network Engineers and IT Managers

    Network monitoring and troubleshooting is hard. TotalView makes it easy.

    This means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
  • 1
    YARA

    YARA

    The pattern matching swiss knife for malware researchers

    YARA is a tool aimed at (but not limited to) helping malware researchers to identify and classify malware samples. 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...
    Downloads: 24 This Week
    Last Update:
    See Project
  • 2
    EAGO.jl

    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 native...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Bible SuperSearch

    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 * SQLite https://www.biblesupersearch.com http://biblesuper.sourceforge.net...
    Leader badge
    Downloads: 29 This Week
    Last Update:
    See Project
  • 4
    Advanced Trigonometry Calculator

    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. More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by the Portuguese Renato Alexandre dos Santos Freitas. Also author of poems,...
    Leader badge
    Downloads: 29 This Week
    Last Update:
    See Project
  • Life Science Quality Management Software Icon
    Life Science Quality Management Software

    Specifically designed for the Life Science industry.

    Comply with ISO, FDA, and GxP regulations and be audit-ready with our cloud-based quality management system.
  • 5

    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...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 6
    JQM Java Quine McCluskey

    JQM Java Quine McCluskey

    JQM - Java Quine McCluskey for minimization of Boolean functions.

    ... and editing the truth table that can be saved and loaded. The results can be exported in HTML format. It generates the Karnaugh Map for educational purposes and the actual truth table from the obtained expressions even when multiple solutions for each function are found. This implementation supports PLC programming, so results can be presented in many forms including Structured Text (ST) and Ladder Diagram (LD) along with conventional Boolean expression.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7

    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. Artificial Intelligence in Medicine 2012 Jun;55(2):97-105. Ye Q, Singh S, Qian PR, Guo NL. Immune...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    JavaBoolCompiler

    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);
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • Gain insights and build data-powered applications Icon
    Gain insights and build data-powered applications

    Your unified business intelligence platform. Self-service. Governed. Embedded.

    Chat with your business data with Looker. More than just a modern business intelligence platform, you can turn to Looker for self-service or governed BI, build your own custom applications with trusted metrics, or even bring Looker modeling to your existing BI environment.
  • 10

    SONNET

    SONNET (integer) linear optimisation in .NET

    ... 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());
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    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. Observer shift: Any day...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    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, Delphi...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 13

    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. It is done to achieve higher MC/DC, because according to the definition of MC/DC...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Math AI Mockup Expression Parser

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Logicheck

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    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. It also emplouys COIN-OR Clp linear programming solver...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    doubleshatak scientific calculator

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    World best graphical calculator

    World best graphical calculator

    We are introduce worlds best scientific graphical calculator

    Downloads: 0 This Week
    Last Update:
    See Project
  • 20

    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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 21
    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 Than: [<] Less Equals...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    expressionCalc

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24

    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 !
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    KS Boolean Expression
    KS Boolean Expression is free software that let you minimize Boolean Expressions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next