Boolean Function Solver

Math Solver II is a scientific calculator. Math Solver II includes a step-by-step solution for any mathematical expression, to make work/homework more fun and easy. Also includes a Simple Mode, for smaller size on desktop. This new version also includes many new an interesting features, like...

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

Disc springs are used in many fields of the mechanical industry but, because of their geometry, it is very hard to make absolute predictions for their behaviour. Disc Spring Solver intends to help the disc springs users to foresee the performance of the springs that they are using by giving...


Platforms: Windows

A Mac OS X web server application for searching the contents of plain text, rich text, HTML formatted text, MS Word, PDF and any other textual file format supported by Spotlight. Boolean Search can be employed as a search engine for a public web site on the Internet, or a personal or group owned...


Platforms: Mac

Gorgeous Karnaugh software: 1) Removes slow, tedious and error prone pen and paper from your life; 2) Gives you a pretty good logic simplification tool; 3) Supports definition of logic function using truth table, from analytic form or by direct editing karnaugh maps; 4) Supports "Dont Care"...


Platforms: Windows

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.


Platforms: Windows, Mac, Linux

BEEJ is a Boolean Expression Editor for Java. This library provides a GUI interface to build complex (or simple) expressions with your options as a base component.


Platforms: Windows, Mac, Linux

Happy Cube Solver is an interactive environment based on OpenGL for designing and building cubes and formations from the Happy Cube 3D puzzles. It integrates a graphic engine for creating and viewing formations and a powerful AI engine for solving them.


Platforms: Windows, Mac

Printr Debugger is an Actionscript implementation of the 'print_r' function from PHP. It has a lot of options, the results are presented in the Output Window or in the Printr Debugger Flash Panel. It offers remote inspection too.


Platforms: Windows, Mac, BSD, Linux

A Fast MAC based 3D Free surface fuid solver. Capable also of simulating viscoelastic fluids.Includes also wave equation solver for simulating shallow water phenomena.


Platforms: Windows, Mac, BSD, Linux

Python Sudoku solver - finds all solutions for a given Sudoku board.


Platforms: Windows, Mac, Linux

The Sudoku Solver is a project managed in Java programming language using open source choco (http://choco.sourceforge.net) constraint programming library which solves given Sudoku puzzles.


Platforms: Windows, Mac, Linux

This is a Javascript library for decoding the output of the PHP serialize() function.It supports the following datatypes: - Strings - Integers - Doubles - Booleans - NULL - Arrays - Objects 


Platforms: Windows, Mac, *nix, JavaScript, BSD Solaris

For many languages it is possible to use the locale module to format numbers. But there are at least three languages for which the locale.localeconv()['thousands_sep'] is empty: brazilian portuguese - 'pt_br', portuguese - 'pt' and spanish - 'es'. The first function, format_positive_integer()...


Platforms: Windows, Mac, *nix, Python, BSD Solaris

This script contains a function that allows you to easily sort a list by multiple columns in ascending and descending order similar in function to the ORDER BY clause in SQL.


Platforms: Windows, Mac, *nix, Python, BSD Solaris

This script contains a function to use the timeit module from a script, creating a nice overview of the runtimes of one or more code snippets. All command line flags that the timeit module accepts can be used. The output can easily be customized.


Platforms: Windows, Mac, *nix, Python, BSD Solaris

This function makes it easier to use the timeit module from the interactive interpreter. You should just specify function with (optional) arguments to run, optional number of runs, and optional name of module (which if not specified defaults to the name of the function).


Platforms: Windows, Mac, *nix, Python, BSD Solaris

This script allows a user to place debug messages, error messages and standard messages throughout a program. The function name and line number will be added to each debug and error message before it is printed out. In addition, each of these messages can be passed to multiple handler objects...


Platforms: Windows, Mac, *nix, Python, BSD Solaris

This function takes a number (integer or float) and returns a string with the integer portion grouped by thousands and the decimal portion rounded or padded to given number of decimal places.


Platforms: Windows, Mac, *nix, Python, BSD Solaris

Printr Debugger is an Actionscript implementation of the "print_r" function from PHP. It has a lot of options, the results are presented in the Output Window or in the Printr Debugger Flash Panel. It offers remote inspection too. The printr displays human readable information about a variable -...


Platforms: Windows, Mac, *nix, Flash, BSD Solaris