Deduction

Personal Salary Calculator (Pascal) is a simple program to calculate hourly salary. It also includes calculation for over time and tax deduction. It is easy to use and simple enough to understand.

A domino game for the puzzle enthusiast. Combining skill, deduction and fun, DominoLogic is sure to give even the most committed puzzler a challenge. Each game has 28 dominoes that you must link using each domino only once. DominoLogic is a fast, easy to learn domino game with a twist....

Domino on Acid project is a weird colorful solitaire variant of dominoes that visualizes natural deduction. Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles (and this view is enough to play the game). But on a deeper level it is a GUI for natural...


Platforms: *nix

The harmony elements algorithm is proposed as a global searching technique of numerical computing which inspired by the old Chinese philosophy: Doctrine of Wu Xing, the five color theorem, and the Hoffman-Singleton graph. According to operation of overcoming and generating policy, each element in...


Platforms: Matlab

The media were all smiles as the royal couple set off on their honeymoon trip. A reporter with New York???*a*?s People Mag, Lois Wheeler was the first on the trail of a big exclusive. But when she finds her way into the newly-weds' hotel, Lois gets more than she bargained for. Instead of...


Platforms: Mac

WordBreaker is a fun iPhone game where you attempt to guess the computer's secret word before the computer guesses yours, using logic and deduction. The game is based on Jotto and similar to MasterMind.


Platforms: *nix

Diagram Draw is an easy to use diagram creator. The success of any enterprise depends not only upon the meticulous deduction but also in a great extent, on the way you communicate the information. When intricate text information fails to satisfy your needs, Diagram Draw stretches a helping hand....


Platforms: Windows

Personal Salary Calculator (Pascal) is a simple program to calculate hourly salary. It also includes calculation for over time and tax deduction. It is easy to use and simple enough to understand.


Platforms: Windows

Fathom is an multiplayer online game similar to Mastermind. You try to guess the squence of the four colored balls in as few guesses as possible. You receive clues for each guess. The clue lets you know how many balls you have in the correct spot, how many you have that are the correct color but...


Platforms: Windows

HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access to external programs such as SAT and...


Platforms: *nix

Sudoku Susser is a free program that helps you play Sudoku. If youve been living under a rock and dont know what a Sudoku puzzle is, the London Daily Mail has a good introduction to the puzzles and basic solving techniques. Sudoku Susser project makes it easy to make your selections as you...


Platforms: *nix

A lavish mystery adventure game, featuring 16 unique cases of forgery, espionage, theft, murder and more. Investigate hundreds of potentially relevant clues and lively characters in each mysterious story. Explore 40 historically accurate locations around London, including seedy docks, the British...


Platforms: Mac

Your neighbor and friend, Monty, has been murdered! I's up to Miss Teri Tale to solve the case by investigating the crime scene and paying close attention to the details. Use her unique powers to dive into Mont's memories, penetrate his subconscious, solve fun-filled enigmas, and find different...


Platforms: Mac

Murder and mistrust abound in the town of Lyon in the year 1899. Trail an elusive killer through the backroads of France, and solve clever puzzles to halt the terror. Comb locations like libraries, museums, graveyards, and sewers for hidden objects and clues. Test your deduction skills and don`t...


Platforms: Mac

Many real estate investors lose huge amounts on missed deductions. Most taxpayers do not even depreciate their assets correctly, and will overspend billions of dollars on this deduction. Real estate experts say rental property returns can be increased by 20% by taking full advantage of tax...


Platforms: Windows

When an investor purchases an income producing asset, like an investment property for their rental business, they don?t get to immediately write off the acquisition cost of the asset. Instead, the cost of the asset must be recovered over the useful life of the asset. This is called depreciation,...


Platforms: Windows

Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.


Platforms: Windows, Mac, Linux

This also works fine with donations which are 100% deductible.The end result: Customer is emailed a receipt for those items in their transaction that were marked as tax-deductible. They are also shown (for non-donations) the fair-market value of their items so they can do their taxes...


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

The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism. It solves problems efficiently by converting them into satisfiability (SAT) problems. Features: - Comes...


Platforms: Windows, Mac, *nix, C/C++, BSD Solaris