Automated Logic Corporation

Spassgui is a Perl/Tk based Gui for SPASS (An Automated Theorem Prover for First-Order Logic with Equality) by http://spass.mpi-sb.mpg.de .

Automated Security Tools (autosec) aims to provide automatic tools which network administrators may useto help check and test the security of their network.

APG (Automated Password Generator) is the tool set for random password generation Features Standalone version Generates some random words of required type and prints them to standard output. Nerwork version APG server When client's request is arrived generates some random words of...


Platforms: *nix

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

Jameleon project is an automated testing framework that can be used by technical and non-technical users alike. One of the main concepts behind it is to create a group of keywords or tags that represent different screens of an application. All of the logic required to automate each particular...


Platforms: *nix

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

Forex PIPZen is the best forex robot software for online currency trading. Take the 100% FREE Forex Challenge. Test ForexPIPZen for yourself First then decide! No Creditcard - No registration required to try! Gain Confidence in Chaos! ForexPIPZen LITE is an Metatrader Automated Expert Advisor...


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

The Automated Life Ecosystem Simulator is a microbe simulation environment developed in Java.


Platforms: Windows, Mac, Linux

Continuous Automated Build and Integration Environment. Cabie is a multi-platform, multi-cm client/server based application providing both command line and web-based access to real time build monitoring, execution and deployment information.


Platforms: Windows, Mac, Linux

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