Symbolic Reasoning Logic

Math::Symbolic::Constant is a Perl module that offers constants in symbolic calculations. SYNOPSIS use Math::Symbolic::Constant; my $const = Math::Symbolic::Constant->new(25); my $zero = Math::Symbolic::Constant->zero(); my $one = Math::Symbolic::Constant->one(); my $euler =... Platforms: *nix

Math::Symbolic::Variable is a Perl module which implements variables in symbolic calculations. SYNOPSIS use Math::Symbolic::Variable; my $var1 = Math::Symbolic::Variable->new('name'); $var1->value(5); my $var2 = Math::Symbolic::Variable->new('x', 2); my $var3 =... Platforms: *nix

The most popular logic puzzle in Japan. It is very simple to learn, requires no calculations, and provides a surprisingly wide variety of logic situations. The rules are simple. Each row, column and minibox comprises the numbers 1 through 9. The solver must complete the missing numbers. So the... Platforms: Windows

Nim logic game. It is a 2-player game, but you can play against the computer. The rule of the game is to take one or more pieces from one row on the board. Then, the other player goes, etc. The winner is the player that takes the last piece. User interface in English, French, Croatian, Hungarian,... Platforms: Windows

Logic Friday is a freeware tool for students, hobbyists, and engineers who work with legacy digital logic circuits based on standard IC packages. Logic Friday is a tool for combinational logic analysis, minimization, and gate synthesis. You can enter a logic function as a truth table, equation,... Platforms: Windows

Partition Logic is a free hard disk partitioning and data management tool. It can create, delete, format, defragment, resize, and move partitions and modify their attributes. It can copy entire hard disks from one to another. Partition Logic is free software, based on the Visopsys operating... Platforms: Windows, *nix

Take a break and entertain you mind with a dynamic dance of logic in Logc trainer! Your objective is to guess the combination of six colors in four positions which are hidden from you. Find that combination within 6 attempts or faster. Platforms: Windows

Logic Control OMS Driver allows the use of any number of Logic Control and/or Logic Control XT units with any Mac OS 9 application which support OMS and either Mackie HUI or Mackie Control. This driver replaces the HUI Emulation. Platforms: Mac

Logic Pro Controller script allows you to control a couple very helpful key commands in Logic Pro from your cellphone.Functions include:Play/Pause/StopRecordRewind/Fast-ForwardNext/Previous track Track Zoom In/OutSaveUndoToggle through Screen Sets 1 - 3 Platforms: Mac

The Speak Logic Information Analysis for Microsoft Office enables the analysis of information and communications within Microsoft Word, Microsoft Outlook and Microsoft PowerPoint. For instance, while reading an email, users may find that the content of that email needs to be analyzed. By using... Platforms: Windows

The Speak Logic Information Analysis for Visual Studio enables users to analyze information in Visual Studio. The Speak Logic Information Analysis for Visual Studio enables users to analyze codes in Visual Studio. While working in Visual Studio, if a user identifies a block of codes that?s needed... Platforms: Windows

Logic Builder for Windows Mobile SDK. State-engine. State-oriented C# programming for Windows Mobile 5 and 6. Includes GetStarted user manual and full-function examples for WM5WM6 - PocketPCSmartphone. Platforms: Windows

Logic test. It is difficult enough. A test group of 2000 members gave on average 3.04 right answers (from 10 available). This test doesn measure intelligence quotient itself, as this quotient still is not uniformly defined. It shows you difficult logic problems instead and counts the number of... Platforms: Windows

LogiK is a board game of logic. Player has to place circle in a square game area respecting hints. Hints tell the number of circle to put in a line or column. Platforms: Windows, Mac, Linux

An applet that helps teachers or anyone else to perform tasks on logic expressions that would require quite a lot of human time to manage. This program includes conversions between infix, prefix and postfix notations, and displaying of syntax tree. Platforms: Windows, Mac, Linux

Search interface for the Mark Logic XQuery API function reference. Try it out at http://api.xqueryhacker.com, then download and run locally. Platforms: Windows, Mac, Linux

Math::Symbolic is a Perl module that aims at providing means of symbolic computation to the Perl programmer without resorting to any (non-Open Source) external libraries and/or applications. Platforms: Windows, Mac, Linux

This java program will ultimately solve grid-type logic problems if given enough clues in a pseudo english language.Features a user friendly GUI letting the user know the progression of the solving process based on the clues entered. Platforms: Windows, Mac, Linux

TyRuBa, a logic-programming language for Java, implemented in Java. TyRuBa was originally intended as language for writing logic-meta programs that generate Java code. It is however, just a normal logic language, with a few peculiarities. Platforms: Windows, Mac, Linux

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