Microsoft Research
Freeware
Dminor is a first-order functional language with the novel combination.
Microsoft Research
Freeware
Z3 is an SMT solver that combines several theory solvers.
3
DeadMan's Handle Ltd
144
Commercial
- Generate text messages for use with non-SMTP mail systems.
4
Runiter Company
338
Shareware
Statistics Problem Solver is a cool program intended for statistics students.
11
Runiter
725
Freeware
calculus tutorial software.
5
Jan Ivar Goli
220
Freeware
Math Solver 1.2 is a software virtual scientific calculator.
1
MuddyFunksters
2
Shareware
Sudoku Puzzle Solver 1.3 is a game in which your brain will not have a rest.
1
MSC.Software Corporation
159
Freeware
MD Nastran is the world's most widely used Finite Element Analysis (FEA) solver.
4
CyberEd, Inc.
79
Shareware
This is a step-by-step algebra equation solver for Windows.
QSopt
30
Freeware
QSopt is a linear programming solver that provides a callable function library.
Noran Engineering, Inc.
16
Demo
A powerful, general purpose Finite Element Analysis solver.
Silversoft
23
Freeware
A.I. Solver Studio is a unique pattern recognition application.
4
N Bentley
29
Freeware
PuzzleLex 6 is a Crossword Solver software developed byN Bentley.
1
Scousesoft
6
Shareware
WordFind is a very comprehensive word puzzle solver.
5
Kristanix Games
109
Shareware
Kakuro puzzle game and solver for Windows. Hint features include scan and markup.
