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