Logic Synthesis

With GeneXproTools it is not essential that you have domain specific knowledge to create models, you just need the experimental data and a modern computer. GeneXproTools is very easy to use and as soon as you learn how to load your data, you will be able to generate a model immediately as...

A logic game. The game has got two modes: a single mode (a computer places and hides chesspieces for you) and a network mode. In last one you can play with somebody else through a net, by placing your chesspieces for your opponent and guessing his variants. The winner's who will guess...

Do you have two minutes to read about one of the most exciting arcade games currently available for download on the Internet? Then let me start. Many folks like puzzles, but the problem with those is that sometimes thinking too much wears people out. That’s why most of us like "think...


Platforms: Windows

Logic Protect supports all kinds of software activation (including Phone Activation and Software-as-a-Service (SaaS) features) that makes Logic Protect a flexible activation and copy protection tool for any software author and vendor. In minutes Logic Protect can be easily integrated with...


Platforms: Windows

Logic Protect is a reliable license management, anti-piracy, copy protection, and product activation system featuring high level security and protection against illegal software copying and distribution. Logic Protect supports all kinds of product activation (including Phone Activation and...


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

Math::Logic::Predicate is a Perl module to manage and query a predicate assertion database. SYNOPSIS use Math::Logic::Predicate; $db = new Math::Logic::Predicate; # Enter some predicates into the database $db->add(<


Platforms: *nix

Math::Logic is a Perl module that provides pure 2, 3 or multi-value logic. SYNOPSIS use Math::Logic qw( $TRUE $FALSE $UNDEF $STR_TRUE $STR_FALSE $STR_UNDEF ) ; # 1 0 -1 TRUE FALSE UNDEF use Math::Logic :NUM ; # $TRUE $FALSE $UNDEF -- what you normally want use Math::Logic :ALL ; # All...


Platforms: *nix

Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital devices constructors or anybody involved with...


Platforms: Windows, Other

The most important features of this product is the Step-Sequencer Emulation in Logic using the Matrix Editor combined with new EXS24 Step-Sequenzer Sounds and Sliced Drum Kits. In a limited key range you will find muted notes for each 1/16-segment. You can de-mute the notes intuitive and quickly...


Platforms: Mac

Solve logic problems on your computer or print them out for solving in your easy chair. Use a fill in chart or traditional solving chart to enter your answers. You can also get hints, restart the puzzle, check you answers or see the entire solution. The shareware version comes with five puzzles,...


Platforms: Windows

Synthesis SyncML Clients for mobile devices (PDA) bring SyncML compatibility to widespread mobile OS platforms like Android, PalmOS and Windows Mobile. This allows mobile over-the-air (OTA) synchronisation with any compliant SyncML server (such as GooSync.com, SyncWise, Oracle Calendar and...


Platforms: Palm OS 4.0, Palm OS 5.0

Synthesis SyncML Clients for PDA bring SyncML compatibility to mobile devices of widespread mobile OS platforms like PalmOS and Windows Mobile (PocketPC/MS-Smartphone). This allows mobile over-the-air (OTA) synchronisation with any compliant SyncML server (such as Toffa.com SyncWise, Oracle...


Platforms: Windows, PocketPC

Synthesis SyncML Clients for PDA bring SyncML compatibility to mobile devices of widespread mobile OS platforms like PalmOS and Windows Mobile (PocketPC/MS-Smartphone). This allows mobile over-the-air (OTA) synchronisation with any compliant SyncML server (such as Toffa.com SyncWise, Oracle...


Platforms: Windows, PocketPC

Synthesis SyncML Clients for mobile devices (PDA) bring SyncML compatibility to widespread mobile OS platforms like Android, PalmOS and Windows Mobile. This allows mobile over-the-air (OTA) synchronisation with any compliant SyncML server (such as GooSync.com, SyncWise, Oracle Calendar and...


Platforms: Palm OS 4.0, Palm OS 5.0

The Speak logic Information Analysis Desktop enables users to analyze manage information in their own desktops. For instance, while reading a webpage, a user may flag specific information, and then later that same information can be identified in the desktop, where it can then be analyzed. The...


Platforms: Windows

The Speak Logic Information Analysis for Internet Explorer enables users to analyze information and communications in Internet Explorer. While reading a website or webpage, if a user identifies information that’s needed to be analyzed, the user can analyze that information or flag it to analyze...


Platforms: Windows

Logic Minimizer is a special application for simplifying logical expressions, namely Boolean and propositional expressions. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital devices constructors or anybody involved with...


Platforms: Windows

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 Desktop enables users to analyze manage information in their own desktops. For instance, while reading a webpage, a user may flag specific information, and then later that same information can be identified in the desktop, where it can then be analyzed. The...


Platforms: Windows