Microsoft Research
Freeware
Z3 is an SMT solver that combines several theory solvers.
68
Twilight Games
4
Shareware
The evil wizard Frozzic has trapped all of the Sky Kingdom's magic birds. The Sky Kingdom is falling....
1
funkitron, inc.
10
Shareware
Solitaire Kingdom Quest expands on the hit Solitaire Kingdom Supreme game.
7
Kevin Fucik
266
Shareware
It can automatically generate a description for some file types.
2
PolarSoft
95
Freeware
It keeps your password and username with description in encrypted database files.
5
Camtech 2000
83
Freeware
It is a database of windows error codes and OLE error codes with description.
45
Zinkmo
22
Freeware
Zinkmo description : Synchronize bookmarks across computers.
14
Kpiachem
1,820
Freeware
A medical dictionary with detailed description, chemical formulas and diagrams.
62
Spadix Software
91
Shareware
This program can extract URL with title, description, keywords meta data, etc.
1
Racer Systems GmbH & Co. KG
2
Demo
Implements a optimized tableau calculus for a expressive description logic.
