Truth Tables For Arguments Logic

Tables for Ada is a library provides an implementation of tables indexed by strings. The binary search is used for names of known length. It is also possible to search a table for names of unknown length, i.e. to parse a string using some table. Table elements can be of any private type. Key-...

Devel::Cover::Truth_Table can create and manipulate truth tables for coverage objects. SYNOPSIS use Devel::Cover::Truth_Table; # $a || $b my $or_tt = Devel::Cover::Truth_Table->new_primitive(or_3, 0, 1, 1); # $c && $d my $and_tt = Devel::Cover::Truth_Table->new_primitive(and_3, 1, 0,...

Automated Tables for MySQL is a set of three PHP scripts that can create a file for each table in a database which is capable of showing, adding and deleting entries.It allows you to do rapid application development with PHP/MySQL!


Platforms: PHP

Automated Tables for MySQL is a set of three PHP scripts that can create a file for each table in a database which is capable of showing, adding and deleting entries.It allows you to do rapid application development with PHP/MySQL!


Platforms: PHP

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

49 microtuning tables for use with Song Tuning capability of Logic Pro 7 and later. These codes enable users to microtune and experiment existing songs or compose new songs, with alternative tunings and scales. .sit file includes readme text; instructions for install and use.


Platforms: Mac

iCompositions and Drums on Demand have teamed up to give away a package of free loops for GarageBand, Logic, and Soundtrack. The collection consists of 90 drum loops, 19 'single hit' sounds for applications such as sound effects, and 9 'loop layers' for building your own drum loops. The loops...


Platforms: Mac

Wiki::Toolkit::Setup::MySQL - Set up tables for a Wiki::Toolkit store in a MySQL database. SYNOPSIS use Wiki::Toolkit::Setup::MySQL; Wiki::Toolkit::Setup::MySQL::setup($dbname, $dbuser, $dbpass, $dbhost); Omit $dbhost if the database is local.


Platforms: *nix

Image::MetaData::JPEG::TagLists contains a collection of tag tables for JPEG segments. Image::MetaData::JPEG::TagLists is an appendix to the main manual page of the Image::MetaData::JPEG module, which the reader should refer to for further details and the general scope. Valid tags for Exif APP1...


Platforms: *nix

Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.


Platforms: Windows, Mac, Linux

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.


Platforms: Windows, Mac, Linux

phpMEQPopAdmin is a small collection of PHP4-Scripts to administrate the mysql-tables for your virtual mailserver (http://www.netd.co.za/mysql-mail/). The admin of each domain can logon and create pop-mailboxes, forwarders and catchall-accounts.


Platforms: Windows, Mac, Linux

Spock is a prototype tool for debugging logic programs under the answer-set semantics. It provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.


Platforms: Windows, Mac, Linux

Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse


Platforms: Windows, Mac, Linux

However, for Arguments, you only have one choice: "Taxonomy: Term Name", which filters for all vocabularies."Taxonomy: Term Name for [vocabulary-name]" form for arguments is also possible.InstallationUnpack in your modules folder (usually /sites/all/modules/) and enable under Administer > Site...


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

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

This function generates a Timeseries file which can be used for Moore FSM coverage analysis.The file is generated in the working directory and can be opened into the Workspace for use by MATLAB, or read directly into Simulink using the 'Import Data From File' source block.The generated Timeseries...


Platforms: Matlab

This function generates a Timeseries file which can be used for Moore FSM coverage analysis.The file is generated in the working directory and can be opened into the Workspace for use by MATLAB, or read directly into Simulink using the 'Import Data From File' source block.The generated Timeseries...


Platforms: Matlab

DBSync for MS SQL & MySQL is a database synchronizer which performs SQL to MySQL and MySQL to MS SQL database conversion and synchronization simply by configuring several options in wizard-like application. By following a few steps, you will manage to easily perform the syncronization and convert...


Platforms: Windows, 2K, XP, Windows Vista, 7, 7x64

EMS DB Extract for MySQL is an useful application that will help you create MySQL database backups in a form of SQL scripts. This database script utility allows you to save metadata of all MySQL database objects as well as MySQL table data as database snapshot. DB Extract scripts MySQL database...


Platforms: Windows