Symbolic Reasoning Logic

Berusky application is a logic game that is based on an ancient puzzle named Sokoban. An old idea of moving boxes in a maze has been expanded with new logic items such as explosives, stones, special gates and so on. In addition, up to five bugs can cooperate and be controlled by the player. In... Platforms: *nix

Groundhog project is a simple logic game. Groundhog is a game I wrote in order to get familiar with GTK because I wanted to write a plug-in for the Gimp. The program is written for Linux and published under the GPL. Apart from the GTK stuff the code is portable and will probably work on any... Platforms: *nix

Giraffe is a simple logic circuit simulator. Giraffe can load, save, and import circuits and simulate them with chronograms. HOW TO RUN ? For simplicity, the program is already compiled (you may recompile it using the provided makefile). Just run giraffe.sh and dont worry about the rest.. Platforms: *nix

KaPooka project is a logic game involving pushing blobbies around and finding your way to the exit. Its kind of a cross between Sokoban and Pengo with regards to gameplay. You move your red blobby around, pushing the green blobbies out of the way and finding the exit. The game currently... Platforms: *nix

5ball project is a logic game that is easy on the eyes, and is very configurable. 5ball is similar to klines, but bigger (and meant for at least 1024x768 screen res.). It includes many options such as different board size, number of different colors, undo, different themes, etc. The object is... Platforms: *nix

Math::Algebra::Symbols is a Symbolic Algebra in Pure Perl. SYNOPSIS Example symbols.pl #!perl -w -I.. use Math::Algebra::Symbols hyper=>1; use Test::Simple tests=>5; ($n, $x, $y) = symbols(qw(n x y)); $a += ($x**8 - 1)/($x-1); $b += sin($x)**2 + cos($x)**2; $c += (sin($n*$x) +... Platforms: *nix

The game InterLOGIC is based on the old Amiga logic game "Balls". The object of the game is to move balls of different colors through a maze, connecting them with other balls of the same color. Two or more connected balls of the same color will disappear. The aim of the game is to clean the whole... Platforms: *nix

Class::AbstractLogic is a Perl module to handle Logic Abstractions. SYNOPSIS # the logic class definition package My::Logic::Foo; use Class::AbstractLogic-base; # a logic action action add, needs [qw(a b)], verify { a => sub { /^d+$/ }, b => sub { /^d+$/ } }, sub { $_{a} + $_{b} };... Platforms: *nix

kpictorial project is a logic game for KDE. Goal of the game is to reconstruct a black & white picture by the number of contiguous black blocks given for each row and column. Sounds easy but isnt. You can also use 1bit indexed color palete xmp and xbm files created by the gimp.. Platforms: *nix

Java Sudoku is a cross platform version of the popular Sudoku logic game. Java Sudoku features an advanced user interface that is both easy to use and appealing to the eye. It allows you to generate completely random Sudoku puzzles, enter your own puzzles from newspapers and magazines, or load... Platforms: *nix

FLASH-PLAICE is a powerful in-circuit development tool that combines the features of a flash programmer, an emulator, and a high speed multi-channel logic analyzer into one device. The project runs uClinux. The logic analyzer features up to 200MHz sampling rates and up to 32 input channels. The... Platforms: *nix

Fenris is a suite of tools suitable for code analysis, debugging, protocol analysis, reverse engineering, forensics, diagnostics, security audits, vulnerability research and many other purposes. The main logical components are: - Fenris: high-level tracer, a tool that detects the logic used... Platforms: *nix

Fox Hunt project is a logic game written in Java. It was inspired by the sports competition of the same name. In that competition, participants run in the forest equipped with small radio locators, seeking small hidden radio wave emitters called "foxes". In Fox Hunt you are one of such... Platforms: *nix

Basically an equation editor, however not focused over one single equation, but you can write your mathematical artwork over several pages. You can easily move and copy your equations and expressions by mouse touch. Illustrate your equations using hand-drawing tools. Use symbolic calculator and... Platforms: Windows

Domino Solitaire (DomiSol) is a puzzle where 28 dominoes are placed to form a rectangle but you do not see their bounds. Your goal is to find these bounds by grouping the domino halves into a correct domino set. A logic challenge. Each game has at least one solution, the game field can be... Platforms: Windows

Battleship quest is an implementation of the logic game "The battleship puzzle". The program offers you unlimited number of Easy difficulty puzzles and 20 (twenty) of Medium and Hard difficulty puzzles for dimensions from 6x6 to 12x12. In Battleship puzzle, a fleet of battleships is hidden in a... Platforms: Windows

Logic game, explosive mix of match-three and *tris-like games. Logic games do not let your brain waste away; they provide excellent training of your logical thinking. These games are addictive, fun, and not boring. Download free logic games and enjoy the game without restrictions! Download and... Platforms: Windows, Windows 8, Windows 7, Windows Server

Build and simulate basic logic circuits with just a few mouse clicks. Drag components into the editor. Then draw connections between them. It's easy to zoom, pan, and rotate too. Watch the simulator run in real time, or pause it to advance step by step at your own pace. Control clock components... Platforms: Windows, XP, 2003, Windows Vista, 7, 7x64

QSapecNG is a Qt-based program for symbolic analysis of linear analog circuits. In fact, it consists of two indipendent parts: the SapecNG framework engine and the application gui QSapecNG. It is an open source, multi-platform project, continuously enhanced by students and researchers of... Platforms: Windows

Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, and sets, lists, vectors, matrices, and tensors. Maxima yields high... Platforms: Mac, Linux