Download Supports Linear Freeware

Z3  v.2.0

Z3 2.0 brings you a SMT solver which combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems.Z3 is a new high-performance theorem prover being developed at Microsoft




IDAutomation Java Barcode Package for Mac OS  v.9.11

The JavaBeans, Applets, Servlets and Class Libraries in this package may be used on any platform with a Java Virtual Machine, including Windows, Linux, MacOS, Unix, Solaris, HP/UX, AS/400 and OS/390 to integrate automated barcoding in Java

Racron  v.0.5

Racron is a command line tool that calculates the dynamic response of systems with a single degree of freedom (SDOF), due to external force or earthquake excitation.

Linear Program Solver  v.1.9.3

Linear Program Solver is a small, simple, very easy to use tool specially designed to help you solve linear programming models. This tool offers: informative solving reports, extended sensitivity analysis, mixed integer models engine. LiPS supports

Linear Interpolation calculator  v.1.1

Linear Interpolation Calculator is a free solution that gives you the possibility to interpolate between values to arrive to the correct intermediate result. Linear interpolation has many uses usually in steam tables to find the unknown

Vectobar Pro Linear Basic for Mac OS  v.2.1

A barcode generator software creates UPC, EAN, ISBN along with few other barcode symbols which will satisfy designers, labelers, book publishers around the world who need only UPC/EAN based barcodes. This package is affordable, yet powerful enough

Applications of Linear Algebra  v.0.1.alpha

Matlab, Maple and C/C++ applications of Linear Algebra in many domains, including curves in many dimensions, Cryptography and Chaos

Kdenlive - KDE Non Linear Video Editor  v.0.8.2.1

A professional quality Non-linear video editing suite for

Linear Al  v.rc

Linear Al is a research, design and teaching tool for quantum computing and quantum information. A quantum development

Lingen - Linear Genetic Program Evolver  v.1.15

This utility, lingen, implements evolution of native machine code via linear genetic programming. The assembly level code uses a subset of assembly language which manipulates and performs calculations using the floating point unit (FPU) of the

Ajanta - Linear Programming Java API  v.1.0

Ajanta is a Java API to solve linear programming problems. Linear programming is a method for determining a way to achieve the best outcome (such as maximum profit or lowest cost) in a given list of constraints.

Non-linear Music System  v.1.0

This project is to become a collection of code and software involving a non-linear and cell-based music system. The main objective is to provide tools for game and music designers for creating and playing non-linear music.

Avs-vista non-linear video edit  v.1.0

avs-vista is a new Non-Linear video edit project. develop flatform on OS win32 and cygwin-win32.

TTS - Lagrangian Linear Advection Scheme  v.1.0

Trajectory Tracking Scheme (TTS) is a scheme for solving linear advection problem in atmospheric sciences. It is constructed in fully Lagrangian framework. The main focus of TTS is to preserve the discontinuity well.

Simple C Linear Algebra Library  v.1.0

The aim of this C library is to implement linear algebra functions on matrices, vectors and scalars with the primary focus being on ease on use and performance.

MacOS X Client for Linear Archive Media  v.alpha

MacOS X does not provide support for SCSI tape drives. The purpose of this project is to implement a user client application to perform many common operations such as those normally handled by mt as well as reading and

NDC - Non-Linear Distortion Correction  v.1.0

NDC corrects distortion in images caused by fisheye lenses.

Non-Linear Debugger  v.1.1

Graphical debugger for programs that don't just follow one stream (e.g. threaded, web applications). Also allows debugging in headless computers, in distributed environments and for crashing applications.

Barcode Studio  v.12.0.1.16.133

Barcode Studio supports all linear, 2D and composite symbologies (more than 70 different symbologies). You can adjust all barcode parameters according to your needs and preferences, export the barcode to an image file (e.g. for using it in your

BeamGoo  v.0.95

BeamGoo is a GUI front-end for linear accelerator particle simulation codes. It currently supports Impact-t, and is designed to be easily converted to other systems. It is built entirely in TCL, and is

Pages : 1 | 2 >

Supports Linear software by   Title   Popularity   Freeware   Linux   Mac