BuDDy was created as part of a PhD project on model checking of finite state machines by Jørn Lind-Nielsen. The package has evolved from a simple introduction to Binary Decision Diagrams (BDDs) to a full blown BDD package with all the standard BDD operations, reordering, a C++ interface, and a wealth of documentation.
Boolean Expression Solver is a commandline utility that generates a truth table for a given Boolean expression. It is written in Java, so it will run on any platform that has the Java runtime environment installed, but the makefile and shell-script included for convenience generally require *nix.
Powua is a parallel super-computer consisting of many processors that work simultaneously. The Powua client lets users access this high computing power from wherever they are, directly on their computer, through a simple Internet connection. If your preferred software is supported, you can start using it immediately in Powua and speed up all those processes that would otherwise occupy your processor for a long time. Powua subdivides your operation and distributes it to many processors simultaneously.
BPKIT is a toolkit of block preconditioners for the iterative solution of linear systems. The most effective general purpose and black-box type of preconditioners are available, including block SSOR, block tridiagonal ILU, and the block extension of point ILU with level-of-fill. Any of these "global" preconditioners may be coupled with one of a large collection of "local" preconditioners for approximately or exactly inverting or solving with the diagonal or pivot blocks. These include a number of approximate inverse techniques. By combining a global and local preconditioner, a wide variety of preconditionings are possible, matched to the difficulty and structure of the problem.
LAPLib (Linear Algebra Performance Library) is an object-oriented software library which provides an elegant interface to access the optimized performance of these old-style libraries. LAPLib transparently handles all low-level details concerned with invocation of BLAS and LAPACK functions. Using LAPLib, developers can write expressions in a C++ object-oriented fashion and greatly reduce the complexity associated with using BLAS and LAPACK routines while maintaining excellent performance.