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