Symbolic Reasoning Logic

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: Linux

A timeless EXS24 Sample Library including an emulation of the legendary Minimoog (Leadsynth) and Jupiter 8 (Pads & Arpeggiosounds). 'Additional you will find many other sample-based analog synthsounds. ' A main emphasis of this library are typical Minimoog synthleads. But also other spectacular... Platforms: Mac

Starting from Windows Vista, Microsoft uses symbolic links and junction points of NTFS file system in order to make changes in the folders structure of Windows and keep the compatibility of applications written for older versions of Windows. This utility simply shows you a list of all symbolic... Platforms: Windows

PathLP, that actually refers to a path oriented logic programming language is a new programming language that you can use. PathLP is a logic programming language of guarded path expressions. It has constructs for object path expressions, type path expressions, cardinality constraints, and... Platforms: Windows

LogicCalculus was designed as an accessible logic IDE (Integrated development environment) for the sentential logic and the predicate logic. Currently, the application can evaluate expressions and fill a truth table. Platforms: Windows

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

Logisim is an educational tool designed to help you with the design and simulation of digital logic circuits, featuring a simple-to-learn interface, hierarchical circuits, wire bundles, and a large component library. FEATURES: · The drawing interface is based on an intuitive toolbar. Color-coded... Platforms: Windows

3 logic games. Each game has 4 levels of difficulty. Tic-tac-toe is played on a 4x4 game board. One player uses X's and the other uses O's. Players move in turn, each placing their tokens on the board. If a row of four identical tokens (either X's or O's) appears somewhere on the board -... Platforms: Windows

New free arcade logic game by Free-Skill-Games.com This bustling hedgehog provides with fruit and mushrooms. Help him to carry the food to the holes (light blue cells). The level is complete when all objects are at the blue cells. There are 20 levels and time limits. Publish the best result online. Platforms: Windows

In this game there will be a grid of spaces and some numbered pillars at the corners of the spaces. Your job is to fill up all the spaces with diagonal walls. The number of walls connecting to a pillar must match the number written on the pillar; and the walls must not form a closed loop.... Platforms: Windows

This logic game has amazing 3D graphics and lots of other features. The purpose is to remove as many balls as possible. You must form horizontal, vertical or diagonal lines of 5 balls or more. Each turn will add three new balls to the board. You are then allowed to move a ball to another place,... 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: Windows

Thinknowlogy is grammar-based software, designed to utilize the logic contained within grammar, in order to create intelligence through natural language, which is demonstrated by: * Programming in natural language; * Reasoning in natural language: drawing conclusions, making assumptions (with... Platforms: Windows, Mac, Linux

TreeSap introduces simple yet powerful qualitative querying:rather than specifying a query using numerical measurements ('within 5km') english phrases are used ('near'). In-built fuzzy logic handles vagueness producing results with weighted relevance Platforms: Windows, Mac, BSD, Linux

8 free environment modules for Logic Pro to control internal and external instruments and plug-ins. This release includes Transformation Universal, an advanced universal midi controller; Filter, a midi filter; Thru, a midi thru; Random on Note on & off, a randomizer triggered by a note on and... Platforms: Mac

This script allows you to do true immutable symbolic enumeration with qualified value access. Most propoqualifiedor an enum in python attempt to solve the issue with a single class. However, fact is that enum has a dual nature: It declares a new anonimous type *and* all possible instances... Platforms: Windows, Mac, *nix, Python, BSD Solaris

GNU libmatheval is a library (callable from C and Fortran) to parse and evaluate symbolic expressions input as text. It supports expressions in any number of variables of arbitrary names, decimal and symbolic constants, basic unary and binary operators, and elementary mathematical functions. In... Platforms: *nix, C/C++, BSD

Mind Fighter is a logic game in C/C where you have to keep your balls greater in number than you opponent. If you make a colony of your balls, you will end up with nice statistics. Platforms: C and C plus plus

WT Toolkit is a GUI logic toolkit that makes constructing pure or hybrid AJAX applications as easy as constructing desktop GUI applications. Platforms: JavaScript

This package contains the following files:example.m: Illustrates how to use the function IT2FLS.IT2FLS.m: Implements an interval type-2 fuzzy logic system.A Brief Tutorial on Interval Type-2 Fuzzy Sets and Systems.pdfRepresentation of an IT2 FS.pdfAll these files, and many other useful papers,... Platforms: Matlab