Boolean Expression Solver

Using ODE45 solver read from a data.mat file the accelerometer and gyroscope(body) and solve

Inspired by a discussion with my father on how to solve sudokus, I decided to implement a GUI for MATLAB and play around with automatic solving. The result can be found here: You can use the GUI just for playing sudoku and having an online check or you may turn on the solving aids: Display...

A recursive version of the fast solver to provide more tweak handles for those wish to push the 3-minute limits


Platforms: Matlab

Tabular Expression ToolboxTabular Expressions (also called "tables") provide a precise and concise way to represent mathematical conditional expressions. Tables have been shown to be useful in the documenting and analysing of software systems. The graphical layout of tabular expressions allow for...


Platforms: Matlab

incremental-sat-solver is a free and open source Haskell library that provides an implementation of the Davis-Putnam-Logemann-Loveland algorithm for the boolean satisfiability problem. incremental-sat-solver not only allows to solve boolean formulas in one go but also to add constraints and...


Platforms: Mac

This Sudoku Solver, shown in Figure 1, has been written by www.RaceSoft.co.uk. It is free to download, install and use - entirely at your own risk. RaceSoft.co.uk accepts no responsibility for any loss of data or damage to the system on which this application is run. It is an offence to...


Platforms: Mac

This is a continuation of the FreeCell Java Solver, because I was not able to access my original account anymore (likely due to sourceforge glitches), and I need to make updates to the program.


Platforms: Mac

Sudoku Solver is a small graphical application for solving any given Sudoku puzzle, almost instantaneously. It also provides the solution (the steps required to solve the puzzle). It is written in python.


Platforms: *nix

Personas Expression lets you easily customize your selected Personas themes. At first, you have to click the icon on status-bar(add-on bar) to show Personas Expression side-bar. You can customize many visual styles with a few clicks of mouse. Text color, font width, background color and texture,...


Platforms: *nix

Rush Hour Puzzle Solver is a small C++ program that reads a Rush Hour board from a text file and produces a nice PostScript file that shows the shortest solution.


Platforms: *nix

Removes traces of Internet activity and every-day computer use. Potential privacy threats removed include cookies, temporary Internet files, typed URLs and more. Privacy Solver gives you the choice of both automatic and manual protection capabilities. You can even set advanced protection rules to...


Platforms: Windows

JEP is a Java library for parsing and evaluating mathematical expressions. With this package you can allow your users to enter an arbitrary formula as a string, and instantly evaluate it. JEP supports user defined variables, constants, and functions. A number of common mathematical functions and...


Platforms: OS/2, Windows, Mac, *nix

Math calculator, also derivative calculator, integral calculator, calculus calculator, expression calculator, equation solver, can be used to calculate expression, derivative, root, extremum, integral.Math calculator, also a derivative calculator, integral calculator, calculus calculator,...


Platforms: Windows, Windows 7, Windows Server

Expression Checker is a utility for quick check-up of expressions. You can use it for quick and easy editing, testing and checking up expressions in such nonprocedural languages as XPath, XSLT and regular expressions. You can see results immediately during typing an expression. For Microsoft .NET...


Platforms: Windows

Desktop Expression calculator is a free calculator for solving arithmetic expressions. The expression calculator evaluates a single line arithmetic expression such as "sqrt(cos(60)+sin(30))". This version has a new interface, keyboard integration, a read aloud option (accessibility) and new...


Platforms: Windows

Su Doku Solver - Ever played Su Doku, that silly game in the Times? This solves it for you.


Platforms: Windows, *nix

MB Free Expression Number Software is an user-friendly yet simple software that basically predicts what lies ahead of you in the calendar year ahead. This software helps you to realize that every particular year has a specific energy, which should be effectively harnessed for your own welfare....


Platforms: Windows

MB Free Planes of Expression Number Software is easily understandable and interactive software, which reveals how best you can express your inner self to others. Each letter of the alphabet is categorized into four major categories l Physical, Mental, Emotional and Intuitive. The proportion of...


Platforms: Windows

Parse::RandGen::Regexp is a Perl module for regular expression Condition element. Regexp is a Condition element that matches the given compiled regular expression. For picking random data, the regular expression is parsed into its component Subrules, Literals, CharClasses, etc.... Therefore,...


Platforms: *nix

exmats goal is to provide an easy to use, yet very efficient matrix library. Overloaded operators allow to write algebraic expressions like v=A*u +u in C++, instead of bunch of boring functions. This syntactic sugar comes with runtime cost, one way to eliminate the overhead is to use Expression...


Platforms: *nix