RSS 3 projects tagged "Logic"

No download No website Updated 06 Feb 2011 BoxWorld

Screenshot
Pop 16.03
Vit 34.15

BoxWorld is a puzzle game where the player has to place boxes over special places in order to gain energy to teleport to the next level. The boxes can only be pushed, not pulled, thus requiring ordering of the boxes with caution. If the boxes are put into positions that prevent further movement, the player can start the level over, but loses a life by doing so. There are no time limits, so the player can relax and think before acting. The game features nice graphics, enjoyable music, and 525 increasingly difficult levels. The player must come up with more complex strategies on the later levels, with many more pushes and special tricks in order to place the boxes in corners or long corridors. Sometimes most of the boxes are already placed in the appropriate area, but the player has to replace all the boxes just to be able to move another box and arrange it where it belongs.

Download No website Updated 24 Jan 2011 Smart Challenge

Screenshot
Pop 16.31
Vit 34.33

Smart Challenge is a computer game to exercise logical thought by solving millions of randomly generated tangram puzzles. It allows you to create and store new puzzles and display the ranking of solution times for each puzzle. Additionally, it has levels of difficulty for the random generated tangram puzzles.

No download Website Updated 10 Apr 2010 Orbital library

Screenshot
Pop 51.70
Vit 2.75

The Orbital library is a Java class library providing object-oriented representations and algorithms for logic, mathematics, and computer science. It comprises theorem proving, computer algebra, search and planning, as well as machine learning algorithms. Generally speaking, the conceptual idea behind the Orbital library is to provide extensional services and components that surround the heart of many scientific applications, hence the name "Orbital library". In order to satisfy the requirements of high reusability, the design of this foundation class library favors flexibility, conceptual simplicity, and generalization. Many sophisticated problems can be solved easily with its adaptable components.

Screenshot

Project Spotlight

LPAR2RRD

AIX/iSeries free performance monitoring and capacity planning.

Screenshot

Project Spotlight

Qtractor

An Audio/MIDI multi-track sequencer.