added open source documents for Sandia to repo
Several scripts for plotting.
added algorithm found by Madan Musuvathi using SAT solver
Merge branch 'master' of github.com:arbenson/fast-matmul
minor updates to sw-assertion, started filling out DOE form
Put in copyright notice
added search code to repo, still need to do some cleanup
adding blas/lapack function definitions to avoid having to find header files
minor changes
compiling on Mac and linux/MKL now, next step is to write readme file and create examples for sparsify
fixing up sparsify and round methods
finished README and examples.txt file to run different methods
fixed indentation in source code
Update example and readme for documentation.
Update readme for dgemm curves
Include build information for the benchmarks.
By default, do not build with parallelism.
Small style changes
Indent the commands
Add in links to the paper