Free Downloads: Freight Solver

License:  All | Free

Freeware
more

TK Solver™ Player for Excel is free software for sharing packaged Excel applications and mathematical models created in TK Solver 5.

TK Solver™ Player for Excel is free software for sharing packaged Excel applications and mathematical models created in TK Solver 5.0 Premium Edition. The Player is a collaborative math engine that can be downloaded from the UTS Web site similar to the way Adobe Systems, Inc. distributes their reader for viewing PDF files. However, it’s much more than a reader utility.

Category: Software Development / Misc. Programming
Publisher: Universal Technical Systems, Inc., License: Freeware, Price: USD $0.00, File Size: 7.2 MB
Platform: Windows



Steel-Link.com Suite Screenshot
more

Absolutely the best and easiest to use tools for the steel construction industry. The toolbox inculdes a stair solver, triangle solver, circle solver, and a steel shapes viewer.

Absolutely the best and easiest to use tools for the steel construction industry. The feet and inches calculator accepts all commonly used types of feet and inches input. The simple interface makes it extremely easy to use. The toolbox inculdes a stair Solver, triangle Solver, circle Solver, and a steel shapes viewer. The Resource Browser is a web browser with built in...

Category: Business & Finance
Publisher: Finch Software, License: Freeware, Price: USD $0.00, File Size: 1.5 MB
Platform: Windows

more

Ledas 2D Geometric Solver is a software engineered to support two-dimensional parametric sketching/drawing in CAD and computer graphics systems.

Ledas 2D Geometric Solver is a software engineered to support two-dimensional parametric sketching/drawing in CAD and computer graphics systems.Ledas 2D Geometric Solver supports creation and modification of the geometric models by means of constraints.

Category: Multimedia & Design / Image Editing
Publisher: LEDAS Ltd., License: Freeware, Price: USD $0.00, File Size: 1.5 MB
Platform: Windows

more

friko.

friko.net introduces you a first version of SUDOKU ONLINE Solver. It allows to generate random, to solve given or generated sudoku puzzles, print, as well as to support solution

Category: Games / Puzzles
Publisher: sudoku.friko.net, License: Freeware, Price: USD $0.00, File Size: 0
Platform: Windows, Linux, Unix, MS-DOS, AS, 40

more

A.

A.I. Solver Studio is a unique pattern recognition application that deals with finding optimal solutions to classification problems and uses several powerful and proven artificial intelligence techniques including neural networks, genetic programming and genetic algorithms. No special knowledge is required of users as A.I. Solver Studio manages all the complexities of the problem...

Category: Business & Finance / Personal Finance
Publisher: Practical A.I. Solutions, License: Freeware, Price: USD $0.00, File Size: 454.0 KB
Platform: Windows

Freeware
Freight+ Screenshot
more

Freight+ Business Shipping Software USPS/UPS/FedEx Certified LTL and International. Integrates w/ MS Dynamics, Accpac ERP/Pro, MAS 90/200, Accountmate, Quickbooks, Peachtree, Volusion or Freight+ API integrates w/your custom applications.

Freight+ Business Shipping Software USPS/UPS/FedEx Certified LTL and International. Listed on UPS and FedEx web sites. Replaces UPS World Ship and FedEx Ship Manager. Seamlessly integrates with many popular accounting systems. MS Dynamics, MAS 90/200, QuickBooks, Peachtree, AccountMate, Sage 300, Sage 50, Sage 100, Sage Accpac ERP, Sage Accpac Pro, TIW ALERE, IAS, Volusion.com,...

Category: Business & Finance / Business Finance
Publisher: Freight+, License: Freeware, Price: USD $0.00, File Size: 104.8 MB
Platform: Windows, Other

Freeware
more

MSC Nastran is the world's most widely used Finite Element Analysis (FEA) solver.

MSC Nastran is the world's most widely used Finite Element Analysis (FEA) Solver. When it comes to simulating stress, dynamics, or vibration of real-world, complex systems, MSC Nastran is still the best and most trusted software in the world – period.

Today, manufacturers of everything from parts to complex assemblies are choosing the FEA Solver that is...

Category: Software Development / Misc. Programming
Publisher: MSC.Software Corporation, License: Freeware, Price: USD $0.00, File Size: 2.6 MB
Platform: Windows

more

ExpressRate November 2010 is the latest version of Con-way Freight’s popular desktop rating application, and is available for download.

ExpressRate November 2010 is the latest version of Con-way Freight’s popular desktop rating application, and is available for download. Rates included in this version are effective November 1, 2010. This version includes all the enhancements introduced beginning with ExpressRate 2001, including full client/server functionality - install it once on a server and multiple workstations...

Category: Business & Finance / Business Finance
Publisher: Con-way, License: Freeware, Price: USD $0.00, File Size: 5.8 MB
Platform: Windows

Freeware
more

Toll Lite is a Windows Browser based freight management system that can be used online (connected to the Internet) or offline (no Internet connection).

Toll Lite is a Windows Browser based Freight management system that can be used online (connected to the Internet) or offline (no Internet connection). Toll Lite is specifically designed to assist customers in the presentation of their Freight for despatch with clear and accurate barcoded address labels.
In addition to eliminating the need to handwrite connotes and maintain...

Category: Business & Finance / Project Management
Publisher: Toll Holdings, License: Freeware, Price: USD $0.00, File Size: 5.4 MB
Platform: Windows

Freeware
more

The first ever freeware helper and solver program for Killer Sudokus.

The first ever freeware helper and Solver program for Killer Sudokus. This program knows it all about innies, outies, cage splitting and sum configurations. Check these features:

Category: Games / Puzzles
Publisher: sudocue.net, License: Freeware, Price: USD $0.00, File Size: 375.0 KB
Platform: Windows

more

Triangle Side and Angle Solver is an easy-to-use small application that does what it name says - solves for unknown sides or angles in a triangle.

Triangle Side and Angle Solver is an easy-to-use small application that does what it name says - solves for unknown sides or angles in a triangle. Enter all the known values of the triangle, press solve and you`re done. You will need at least 3 known valu

Category: Home & Education / Mathematics
Publisher: evanolds.com, License: Freeware, Price: USD $0.00, File Size: 36.0 KB
Platform: Windows

more

UMS Equation Solver will solve and explain step by step your algebra problems.

UMS Equation Solver will solve and explain step by step your algebra problems. Solve your algebraic equations or simultaneous algebraic equations. Equations can be rational, irrational, logarithmic, exponential, with absolute value and with parameters. UMS software is guaranteed to provide a step by step solution to any algebraic equation or simultaneous algebraic equations of any level...

Category: Home & Education / Mathematics
Publisher: Severny Ochag International, License: Freeware, Price: USD $0.00, File Size: 17.4 MB
Platform: Windows

Freeware
more

MD Nastra is a powerful Finite Element Analysis (FEA) solver.

MD Nastra is a powerful Finite Element Analysis (FEA) Solver. This applications simulates stress, dynamics and/or vibration of real-world complex systems. MD Nastran is the best application of its type because it’s the most reliable and accurate one and its certified by FAA.

Category: Multimedia & Design / Multimedia App's
Publisher: MSC.Software Corporation, License: Freeware, Price: USD $0.00, File Size: 400.0 MB
Platform: Windows

Freeware
Smart Games Pack Screenshot
more

Set of three smart games - Freight Train Simulator, Color Bricks and Last Conundrum of Da Vinci Deluxe. These games will not let your brain relax for a moment. You have to get the trains to their destination on time, dispose properly bricks to get mo

Set of three smart games - Freight Train Simulator, Color Bricks and Last Conundrum of Da Vinci Deluxe. These games will not let your brain relax for a moment. You have to get the trains to their destination on time, dispose properly bricks to get more points and solve the mechanical puzzle of Leonardo Da Vinci. Try to complete 10 missions in different locations in the world...

Category: Games / Puzzles
Publisher: gamehitzone.com, License: Freeware, Price: USD $0.00, File Size: 92.5 MB
Platform: Windows

more

Resistor Colour Code Solver is a little freeware program that will calculate the value of a resistor from its colour code and vice-versa.

Resistor Colour Code Solver is a little freeware program that will calculate the value of a resistor from its colour code and vice-versa.

Its colour scheme is easily customizable. Moreover, the program is completely portable and is very low on system resources.

Resistor Colour Code Solver also comes with a handy little Ohms Law calculator which can...

Category: Home & Education / Science
Publisher: Abhishek, License: Freeware, Price: USD $0.00, File Size: 316.9 KB
Platform: Windows

more

All BLLW freight stock is designed and built from accurate Pennsylvania Railroad blueprints and era-appropriate vintage photos.

All BLLW Freight stock is designed and built from accurate Pennsylvania Railroad blueprints and era-appropriate vintage photos.
Package includes 5 PRR H21as Decorated in the PRR simplified Scheme. This scheme was the last PRR Scheme ever applied to these cars before the PC merger in 1968. Each car has three load options: Empty, Ore, or Coal.

Category: Games / Simulations
Publisher: Broadway Limited Locomotive Works, License: Freeware, Price: USD $0.00, File Size: 4.0 MB
Platform: Windows

Freeware
more

Basically the program allows you to enter up to 8 coarse and 5 fine aggregates and uses MS Solver to determine the most economical combination of these.

Basically the program allows you to enter up to 8 coarse and 5 fine aggregates and uses MS Solver to determine the most economical combination of these.
Also includes air% in the variables covered and to eliminate the comparison of predicting 28d strength by adding average 7-28 gain and by assuming a % increase (because the former has been clearly and conclusive shown to give...

Category: Utilities / Misc. Utilities
Publisher: Ken Day, License: Freeware, Price: USD $0.00, File Size: 5.2 MB
Platform: Windows

Freeware
more

Use this to help solve puzzles from the Gameshow Network program Lingo.

Use this to help solve puzzles from the Gameshow Network program Lingo. Has support for 5 and 6 letter words. Editable dictionaries with a lot of common words already ( let me know if you improve the dictionaries and want to share). As you type, Lingo Solver picks up your keyboard strokes (even if it isn't the selected window). Spaces are registered and pressing Enter after filling in...

Category: Games / Tools & Editors
Publisher: Dojotech Software, License: Freeware, Price: USD $0.00, File Size: 1.8 MB
Platform: Windows

Freeware
more

Sudoku champion is a Sudoku generator, helper and solver.

Sudoku champion is a Sudoku generator, helper and Solver. It can generate puzzles for you to solve, or it can solve puzzles that you have trouble solving. There are different types of hints available to help you solve a Sudoku. You can also save, load and print Sudokus.

Category: Games / Puzzles
Publisher: Martin Fierz, License: Freeware, Price: USD $0.00, File Size: 329.0 KB
Platform: Windows

Freeware
more

FEBio is a nonlinear finite element solver that is specifically designed for biomechanical applications.

FEBio is a nonlinear finite element Solver that is specifically designed for biomechanical applications. It offers modeling scenarios, constitutive models and boundary conditions that are relevant to many research areas in biomechanics. All features can be used together seamlessly, giving the user a powerful tool for solving 3D problems in computational biomechanics. The software is...

Category: Home & Education / Miscellaneous
Publisher: University of Utah, License: Freeware, Price: USD $0.00, File Size: 5.2 MB
Platform: Windows

more

Trainz Virtual Railroading On Your Pc is the most detailed and immersive railroad experience ever, letting you control almost every aspect of a working railroad.

Trainz Virtual Railroading On Your Pc is the most detailed and immersive railroad experience ever, letting you control almost every aspect of a working railroad.
Assemble your favorite trains in preparation for a busy day of operation. Climb into the 3D cab and take charge of passenger runs, shunting yard exercises and heavy Freight movements.

Insanely realistic 3D...

Category: Games / Simulations
Publisher: Verizon, License: Freeware, Price: USD $0.00, File Size: 365.0 MB
Platform: Windows

more

Resistor Colour Code Solver is a little program that can calculate the value of a resistor from its colour code and vice-versa. .

Resistor Colour Code Solver is a little program that can calculate the value of a resistor from its colour code and vice-versa.

Category: Home & Education / Mathematics
Publisher: myfreewares.weebly.com, License: Freeware, Price: USD $0.00, File Size: 58.7 KB
Platform: Windows, Mac, Vista

Freeware
BJ Robot Screenshot
more

BJ Robot is a MSN Messenger Bejeweled auto-player/tutor. It will automate your Bejeweled game at lightening speed and get you the highest possible score for every move.

Make Your Friends Think You Are Smart! BJ Robot is a MSN Messenger Bejeweled auto-player/tutor. It will automate your Bejeweled game at lightening speed and get you the highest possible score for every move. It also has a tutorial mode that guides you step by step when you play against your friends online. BJ Robot is a Freeware. Feel free to share it with your friends.

Category: Games
Publisher: PeterChiu.com, License: Freeware, Price: USD $0.00, File Size: 488.3 KB
Platform: Windows

more

GASolver is an automated genetic algorithm driven solver for Excel spreadsheet based solution seeking.

GASolver is an automated genetic algorithm driven Solver for Excel spreadsheet based solution seeking. Using a genetic algorithm avoids many of the problems found with linear solvers when solving for example large problems with multiple variables. GASolver has been developed over the last 10 years to help you evolve better solutions.

Category: Home & Education / Mathematics
Publisher: Yearstretch Limited, License: Freeware, Price: USD $0.00, File Size: 2.8 MB
Platform: Windows

5 Stars5 Stars5 Stars5 Stars5 Stars Freeware
CargoMaster Screenshot
more

Load up your truck at the docks and try to make your freight deliveries before your time runs out. Master the skills of cargo delivery in this very tricky skill game! Takes a while to master, but worth the effort in the end!

Load up your truck at the docks and try to make your Freight deliveries before your time runs out. Master the skills of cargo delivery in this very tricky skill game! Takes a while to master, but worth the effort in the end! Use the mouse during docks phase. Press Left and Right Arrow keys to move from ship to truck.

Category: Games / Action
Publisher: ePlaybus.com, License: Freeware, Price: USD $0.00, File Size: 2.2 MB
Platform: Windows

more

SokoSolve is a Sokoban puzzle solver and related tools. .

SokoSolve is a Sokoban puzzle solver and related tools.

Category: Games / Puzzles
Publisher: sokosolve.sourceforge.net, License: Freeware, Price: USD $0.00, File Size: 5.1 MB
Platform: Windows, Vista

more

All BLLW freight stock is designed and built from accurate Pennsylvania Railroad blueprints and era-appropriate vintage photos, along with HO Scale models of the real cars
Package includes 8 PRR H21as Decorated in the PRR Modern Scheme.

All BLLW Freight stock is designed and built from accurate Pennsylvania Railroad blueprints and era-appropriate vintage photos, along with HO Scale models of the real cars
Package includes 8 PRR H21as Decorated in the PRR Modern Scheme. This scheme was adopted in 1962 and remained into the mid 60's. Each car has three load options: Empty, Ore, or Coal.

Category: Games / Simulations
Publisher: Broadway Limited Locomotive Works, License: Freeware, Price: USD $0.00, File Size: 5.6 MB
Platform: Windows

Freeware
more

Neo7 Tools is an application that has three main functions.

Neo7 Tools is an application that has three main functions.
First you can create machine code (G code) to tool path a pipe flange or bolt hole pattern.
If you don't use a CNC machine it can also print scale templates up to an 8 inch or 20.32 centimeter diameter.
The second function is a circle Solver. Simply enter the diameter, radius, circumference area or chord...

Category: Multimedia & Design / Multimedia App's
Publisher: Neo7.Com, License: Freeware, Price: USD $0.00, File Size: 59.7 KB
Platform: Windows

Freeware
more

DeadLine solves equations graphically and numerically. The freeware finds the real roots of an equation, evaluates functions and the first two derivatives extremely fast and accurately, finds extrema of the function.

DeadLine is a free program useful for solving equations, plotting graphs and obtaining an in-depth analysis of a function. Designed especially for students and engineers, the freeware combines graph plotting with advanced numerical calculus, in a very intuitive approach. Most equations are supported, including algebraic equations, trigonometric equations, exponential equations, parametric...

Category: Audio
Publisher: Ionut Alex. Chitu, License: Freeware, Price: USD $0.00, File Size: 1.4 MB
Platform: Windows

Freeware
more

CalculiX is a package designed to solve field problems.

CalculiX is a package designed to solve field problems. The method used is the finite element method.

With CalculiX Finite Element Models can be build, calculated and post-processed. The pre- and post-processor is an interactive 3D-tool using the openGL API. The Solver is able to do linear and non-linear calculations. Static, dynamic and thermal solutions are available. Both...

Category: Games / Misc. Games
Publisher: Charly Piva, License: Freeware, Price: USD $0.00, File Size: 23.3 MB
Platform: Windows

more

DJ OldGames Package: Super Solvers Pack is an educational game created by The Learning Company designed to help strengthen children's reading and critical thinking skills.

DJ OldGames Package: Super Solvers Pack is an educational game created by The Learning Company designed to help strengthen children's reading and critical thinking skills. In this game, the Master of Mischief (Morty Maxwell) is planning to make the Shady Glen School disappear at midnight using invisible paint. He is hiding in one of five robots brought to life from paintbrushes to try to...

Category: Games / Adventure & RPG
Publisher: DJ, License: Freeware, Price: USD $0.00, File Size: 3.8 MB
Platform: Windows

Freeware
Genius Maker Screenshot
more

Genius Maker contains 32 educational softwares covering the subjects Mathematics, Physics and Chemistry for High school students. Out of the 32 softwares, 9 softwares are provided as Free and the remaining are for Trial.

Genius Maker contains 32 educational softwares covering the subjects Mathematics, Physics and Chemistry for High school students. It includes Graph plotter, Analytical geometry, Matrix algebra, Equation Solver, Triangle Solver, Unit converter, Refraction of rays, Lens and mirrors, Color theory, Transverse waves, Radioactive decay, Periodic table, Gas Laws etc. Out of the 32...

Category: Home & Education / Science
Publisher: Golden K star Private Ltd, License: Freeware, Price: USD $0.00, File Size: 3.4 MB
Platform: Windows

Freeware
more

Z3 is an SMT solver that combines several theory solvers into a combined framework.

Z3 is an SMT Solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available. There is also an existing Python binding by Sascha Boehme.
Features:
- Enable check_assumptions without enclosing push/pop. This resolves the limitation described in...

Category: Home & Education / Science
Publisher: Microsoft Research, License: Freeware, Price: USD $0.00, File Size: 26.7 MB
Platform: Windows

Freeware
more

BATKU is the world?

BATKU is the world?s fastest PC-based SUDOKU Solver/generator.

Category: Games / Puzzles
Publisher: home.comcast.net, License: Freeware, Price: USD $0.00, File Size: 1.3 MB
Platform: Windows, Mac, Vista

more

Solve any calculus differentiation problem with this calculus tutorial software.

Solve any calculus differentiation problem with this calculus tutorial software.

Calculus differentiation and calculus tutorialCalculus Problem Solver can solve differentiation of any arbitrary equation and output the result. It can provide detailed step-by-step solutions to given differentiation problems in a tutorial-like format. On top of these, it can also initiate an...

Category: Business & Finance / Applications
Publisher: Runiter, License: Freeware, Price: USD $0.00, File Size: 9.6 MB
Platform: Windows

Freeware
more

Isanaki Sudoku 2.

Isanaki Sudoku 2.6b is a multilingual freeware application that combines a board generator, a powerful Solver, a user-friendly helper and a flexible boards printer (mulitple boards per page).

Category: Games / Puzzles
Publisher: tgmdev.be, License: Freeware, Price: USD $0.00, File Size: 606.0 KB
Platform: Windows

Freeware
Crickler Screenshot
more

Cricklers are a new type of word puzzle. Cricklers become easier or harder depending on the skill of the solver. Words are chosen by the designer -- the computer takes care of fitting them together. Clues and answers conveniently sit side by side.

Cricklers are a new type of word puzzle - a total re-invention of the crossword puzzle for the computer age. Traditional crossword puzzles are incredibly successful but they have several serious drawbacks: (1) They are difficult to construct, (2) Most words are short and often silly -- chosen only because they fit, (3) Matching clues to numbers is a distraction, and (4) A given puzzle is...

Category: Games
Publisher: MICA, License: Freeware, Price: USD $0.00, File Size: 74.2 KB
Platform: Windows

Freeware
more

Lonak minimizes logistics, marketing and communication costs of enterprises.

Lonak minimizes logistics, marketing and communication costs of enterprises. You will be able to get in touch with millions of companies to introduce your services and products. Get quotes for your logistics demands in minutes from 200 countries.

Lonak is a Freight exchange and online business network that gathers commercial organizations together. Lonak has hundreds of...

Category: Home & Education / Miscellaneous
Publisher: Lonak, License: Freeware, Price: USD $0.00, File Size: 5.0 MB
Platform: Windows

Freeware
more

Solves the game Su Doku. .

Solves the game Su Doku

Category: Multimedia & Design / Animation
Publisher: Ossisoft, License: Freeware, Price: USD $0.00, File Size: 19.0 KB
Platform: Windows, Linux, Unix

Freeware
more

The main purpose of the QSopt linear programming solver is to provide a callable function library for use within applications such as the traveling salesman problem or mixed-integer programming.

The main purpose of the QSopt linear programming Solver is to provide a callable function library for use within applications such as the traveling salesman problem or mixed-integer programming. It can also be used as a standalone code to solve large-scale linear programming problems.

QSopt offers a graphical user interface for Windows 98/ME/NT/2000/XP as well as an...

Category: Software Development / Misc. Programming
Publisher: QSopt, License: Freeware, Price: USD $0.00, File Size: 1.7 MB
Platform: Windows

Freeware
more

Sudoku is a 9x9 grid.

Sudoku is a 9x9 grid. In the newspaper each day, they may fill in 20-30% of the 81 numbers in the grid. Your goal is to fill in the remaining numbers. Each row, column, and 3x3 subgrid must contain each of the digits from 1 through 9 without any digits repeating.

Category: Home & Education / Miscellaneous
Publisher: Mike Oldroid, License: Freeware, Price: USD $0.00, File Size: 188.8 KB
Platform: Windows

more

This program tries to solve the game of minesweeper.

This program tries to solve the game of minesweeper. It will never guess, I have never seen it make a mistake (if it happens with you, make sure you didn't move the mouse in the minesweeper window while solving).

The program is not perfect, there are many more advanced situations where it doesn't know how to continue, in these cases you have to help it a bit. Sometimes,...

Category: Home & Education / Miscellaneous
Publisher: joriswit, License: Freeware, Price: USD $0.00, File Size: 12.8 KB
Platform: Windows

more

Weight management is easier than you may think.

Weight management is easier than you may think. This Zlimmer! Quick Tips e-book contains simple facts and tips that you can put to use immediately to achieve results. You can use these tips on eating, exercising and motivation every day, without disruption to your life. And there?s more than 100 of them to choose from! Learn the basics of weight management, how to live a healthier (but not more...

Category: Home & Education / Health & Nutrition
Publisher: Zlimmer!, License: Freeware, Price: USD $0.00, File Size: 156.0 KB
Platform: Windows

more

Truck driving schools with powerfull trucks on your PC as a screen saver.

Truck driving schools with powerfull trucks on your PC as a screen saver. Imagine driving one of these truck as a student in truck driving school, where you learn your driving skills, and get your Commercial Drivers Licence. Different schools have different vehicles. Some are large B-semis, others are just small trucks used for local Freight distribution. In any event, your training will...

Category: Desktop Enhancements / Screensavers
Publisher: Truck Driving Schools, License: Freeware, Price: USD $0.00, File Size: 1.2 MB
Platform: Windows

Freeware
more

Calculates the weights of specific substances needed to arrive at specified concentrations of different elements.

Calculates the weights of specific substances needed to arrive at specified concentrations of different elements.
Powerful open source linear equation Solver provided by AlgLib.
Easy-to-use interface for the addition, edition and assignation of substances to calculations.
Calculations for both direct additions and A B concentrated solutions.

Category: Home & Education / Miscellaneous
Publisher: Science in Hydroponics, License: Freeware, Price: USD $0.00, File Size: 8.8 MB
Platform: Windows

Sicyon Lite calculator Screenshot
more

Sicyon = scientific (VBScript/JScript) calculator + matrix operations + constant database + units converter + solver + curve-fit.

Sicyon is all-in-one scientific calculator for every student and professor, researcher and developer. The core of Sicyon is an expression (VBScript/JScript) calculator with features as: estimate a function using variables, user-defined functions and Sicyon objects; plot/tabulate a function; solve an equation, minimums, maximums and definite integral of a function; fit a function over data set;...

Category: Business & Finance / Calculators
Publisher: SpecLabs, License: Freeware, Price: USD $0.00, File Size: 5.9 MB
Platform: Windows

Freeware
more

Dminor is a first-order functional language with the novel combination of the ideas of refinement type and type-test.

Dminor is a first-order functional language with the novel combination of the ideas of refinement type and type-test. It can express a rich variety of typing idioms and has a novel type-checking algorithm able to eliminate many dynamic tests and to detect many errors statically. The type checker uses an SMT Solver to compute subtyping efficiently.

Category: Home & Education / Miscellaneous
Publisher: Microsoft Research, License: Freeware, Price: USD $0.00, File Size: 4.6 MB
Platform: Windows

more

This free software provides a searchable offline dictionary, great for solving crosswords and word puzzles.

This free software provides a searchable offline dictionary, great for solving crosswords and word puzzles. The program enables you to quickly find words matching a pattern, find anagrams, and search all word definitions.

Category: Games / Puzzles
Publisher: Supernifty.com.au, License: Freeware, Price: USD $0.00, File Size: 14.2 MB
Platform: Windows

Freeware
more

Design and analysis of Boolean equations and state machines is often an extremely complex and time consuming task.

Design and analysis of Boolean equations and state machines is often an extremely complex and time consuming task. Even when a solution is found it can be very difficult to analyze or modify.

Category: Home & Education / Mathematics
Publisher: home.roadrunner.com, License: Freeware, Price: USD $0.00, File Size: 1.6 MB
Platform: Windows, Mac, Vista

Freeware
Math Mechanixs Screenshot
more

Math Mechanixs is a general purpose math program with a Math Editor for solving mathematical problems and taking notes, extensive Function Library and Function Solver, 2D and 3D Graphing, and a Calculus Utility with integration and differentiation.

Math Mechanixs is an easy to use scientific and engineering FREE math software program. (FREE registration is required after 60 days). The typical tool for solving mathematical problem has been the calculator. Unfortunately, a calculator can be very limiting. They do not allow the user to record detailed notes regarding their work. Until the graphing calculator, the user could not graph...

Category: Business & Finance
Publisher: Math Mechanixs, LLC., License: Freeware, Price: USD $0.00, File Size: 8.7 MB
Platform: Windows

blank