The pattern matching swiss knife for malware researchers
A development environment for robust and global optimization
Web-Based Bible Search Engine
Precision Trigonometry: Advanced Calculator for Complex Math
Advanced Query Language
SOLVESPACE is a free (GPLv3) parametric 3d CAD tool.
JQM - Java Quine McCluskey for minimization of Boolean functions.
Integrated DNA copy number variation and gene expression analysis
Boolean expression compiler written in Java
C++ Math Expression Parser Library
SONNET (integer) linear optimisation in .NET
Volunteer workshift scheduler for a helpline service
Expression evaluator for Delphi developers
A novel Code transformation technique to guide test input generator
Small but powerful, learns formulas and parses expressions swiftly
An interactive tool to test logical structures and expressions
Decision solver for Counting Quantifiers over Unary Predicates
Boolean Expression Evaluator with AND/XOR minimization
doubleshatak worlds best scientific graphical calculator ever
We are introduce worlds best scientific graphical calculator
Boolean Expression Simplifier developed by Mayank Shekhar
Cross platform Mathematical expression solver
The easiest C++ way to deal with constraints !