System Managment Technologies, Inc.
3
Shareware
Database ManagER is a SQL Server database management utilit.
Shadow Mountain Tech
4
Freeware
Lets you see window information including the window handle.
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.
2
Danfoss Turbocor Compressors Inc.
17
Freeware
Can be used to launch other tools and to view detailed version information.
