External Sources overview and index page

C/C++ libraries

type name version local documentation WWW home page WWW documentation ready? installation page
General purpose Boost 1_49_0 html click click click
Cryptology Mhash 0.9.9.9 click click click NO click

Compiler

type name version local documentation WWW home page WWW documentation ready? installation page
C/C++ gcc 4.5.3 html click click YES click
Ocaml Ocaml 3.09.3 to be installed click click MAYBE click
Lisp CLisp 2.49 index click click NO click
Ecl 11.1.1.2 index click click MAYBE click

Programming support

type name version local documentation WWW home page WWW documentation ready? installation page
Debugging Valgrind 3.7.0 click click click YES click

Buildsystem

type name version local documentation WWW home page WWW documentation ready? installation page
Version control Git 1.7.9.3 html click click YES click
Documentation tools Doxygen 1.7.6.1 html click click YES click
Build tools CMake 2.6.4 click click click NO click

Data management

type name version local documentation WWW home page WWW documentation ready? installation page
SQL databases PostgreSQL 8.2.4 html click click NO click

Mathematics (in general)

type name version local documentation WWW home page WWW documentation ready? installation page
Statistics R 2.14.1 html click click YES click
Mathematical computation GMP 5.0.4 html dvi click click YES click
Computer algebra Maxima 5.26.0 index click click YES click
Gap 4.4.12 index click click YES click
Sage 4.8 index click click MAYBE click

Logic

type name version local documentation WWW home page WWW documentation ready? installation page
Proof assistants Coq 8.1 index click click YES click

Boolean functions

type name version local documentation WWW home page WWW documentation ready? installation page
Minimisation Espresso not available click click YES click

SAT

type name version local documentation WWW home page WWW documentation ready? installation page
Conflict driven GRASP 20080718 manual click click YES click
Minisat 2.2.0 not available click click click
Picosat 913 not available click click YES click
Precosat -570.1 not available click click click
Argosat 1.0.1 not available click click click
CryptoMiniSat 2.9.0 not available click click YES click
Glucose 2.0 not available click click YES click
Look ahead March pl manual click click click
Satz not available click click click
Local search UBCSAT 1-2-0-beta-10 not available click click NO click
Other methods Survey Propagation 1.4 not available click click click
Automatically created by the OKbuildsystem on Wed, 18 Apr 2012, 08:34:27 +0100.
Oliver Kullmann