How to login to the metis network

Hello World code

The satisfiability problem - one example

A satisfiability code with timings

Some macros to use with block decomposition

The sieve of Eratosthenes

Floyd's algorithm and useful functions

Matrix-vector multiplication

Speedup and efficiency

The document processing code

Go back to CISC7340 homepage