CSL: Facilities: Proprietary Software

CSL: Facilities: Proprietary Software

Listed below are the various proprietary software packages that are on the C.S. departmental network, available for all faculty, staff, and students. On Solaris machines, these programs can be found in the /usr/prop directory; please include /usr/prop/bin in your PATH in order to launch the commands. On Linux machines available packages will be located in /usr/pkg, but the executables will be linked to /usr/local/bin; this directory is included by default in the departmental dotfiles.

[ Adobe Acrobat | Adobe Photoshop | Cplex | ECLiPSe | FLEXlm | FontMaker | FrameMaker | HARK Recognizer | Maple | Mathematica | Matlab | Meeting Maker | Quintus Prolog | Rational Rose | Splus | Stanford Graphbase | SUIF | Template Graphics Software | VHDL compiler | WordPerfect for Unix | X-Win32 ]

Adobe Acrobat

The Acrobat package includes Acrobat Distiller, Acrobat Exchange, and Acrobat Reader. The Distiller program creates PDF (Portable Document Format) documents from PostScript. The Exchange program lets you view and modify PDF documents. The Reader program is a PDF viewer.

Executables: distill, acroexch, acroread
Visit Adobe

Adobe Photoshop

Create original artwork, correct and retouch color or black-and-white scanned images and prepare high-quality color separations and output. A complete paint, professional prepress, and darkroom system.

Executable: photoshop
Visit Adobe


Cplex is a mathematical package for solving linear-programming problems. It includes a C-level interface and a command-line scripting interface. It is one of the most popular and robust packages out there and handles very large linear programs.

Executable: cplex


ECLiPSe is a development environment for constraint programming applications. It contains several constraint solver libraries which allow to develop efficient programs to solve combinatorial problems in planing, scheduling, resource allocation, timetabling, transport as well as in other areas like e.g. molecular biology.

Executable: eclipse
Visit Parc Technologies


License Manager. Only available for root user.


An X-based utility for converting fonts from PFA and PFB formats to the binary bitmap form needed for display by FrameMaker. Fontmaker can also be used to download such fonts to a PostScript printer by converting the fonts to PostScript jobs (ie, files or data streams).

Executable: fontmaker
Visit Adobe


A powerful electronic publishing software package.

Executable: maker
Visit Adobe

HARK Recognizer

A commercially proven, open, client/server-based speech recognition system. It supports active vocabularies that are scalable to more than 10,000 words.

Executable: hanalyze
Visit BBN


A comprehensive problem-solving system that supports a wide variety of powerful mathematical operations such as symbolic analysis, numerical analysis, and graphics. Features a complete programming language that uses syntax similar to that of BASIC, Fortran, Pascal or C. Now available on both SPARC and Intel (x86) architectures.

Executables: maple, xmaple
Visit Maple Software


A fully integrated environment for technical computing.

Executables: math, mathematica
Visit Wolfram Research


An integrated technical computing environment for high-performance mathematical computation, matrix computation, advanced graphics and visualization.

Information on installing Matlab on your PC.

Executables: matlab, mcc, mex
Visit Math Works

Meeting Maker

Calendaring software, used by C.S. and A&S. A Windows client is also available. Additional Meeting Maker documentation is available.

Executable: mm
Visit Meeting Maker

Quintus Prolog

A high-level, programming language and development environment. Its key strengths are in the areas of reasoning, natural language processing, meta programming, pattern matching and database interfacing.

Executable: prolog
Visit SICS

Rational Rose

A software-engineering tool that allows users to graphically develop, verify, and document the analysis and design model of their software. Rational Rose makes modeling accessible to nonprogrammers wanting to model business processes as well as to programmers modeling applications logic.

Executable: analyzer
Visit Rational Software


Splus is an interpreted language that is designed to manipulate and display statistical data. It deals with matrices very nicely and has built-in functions for running certain kinds of statistical tests. It has some nice functionality for creating graphical output either to a postscript file or to an X server.

Executable: Splus
Visit Math Soft

Stanford GraphBase

A collection of programs and datasets which generate and manipulate graphs and networks. This package is the work of Donald Knuth at Stanford University, and the most recent version of this software is always available by anonymous ftp from the Computer Science Department at Stanford.

Visit Stanford GraphBase

Stanford SUIF

A collection of programs and libraries, mostly written in C++, that allow researchers to investigate issues in scalar and parallel optimization.

Visit Stanford

Template Graphics Software

OpenGL and Open Inventor, used for 3D graphics delevopment.

Executables: runogl, runoiv
Visit Template Graphics Software

VHDL compiler

No additional information available.

WordPerfect for Unix

A powerful, visual word processing program.

Executables: wp, xwp
Visit Corel


An X Window server for Windows, allowing users to run and display X applications on their Windows desktop.

Visit Duke site license page.